Date: Tue, 10 Nov 2026 20:25:21 +0200
Ville Voutilainen wrote:
> On Tue, 10 Nov 2026 at 20:00, Peter Dimov via SG7 <sg7_at_[hidden]>
> wrote:
>
> > Does this objection also apply to const splicing? You can const_cast
> > it away, but const_cast is already unsafe (would have been marked unsafe in
> Rust).
>
> I don't think const splicing significantly changes the picture. The standard
> library has a requirement that const is physical const, but that doesn't
> necessarily apply elsewhere.
How do you envisage breaking an object's invariant using const splicing?
> On Tue, 10 Nov 2026 at 20:00, Peter Dimov via SG7 <sg7_at_[hidden]>
> wrote:
>
> > Does this objection also apply to const splicing? You can const_cast
> > it away, but const_cast is already unsafe (would have been marked unsafe in
> Rust).
>
> I don't think const splicing significantly changes the picture. The standard
> library has a requirement that const is physical const, but that doesn't
> necessarily apply elsewhere.
How do you envisage breaking an object's invariant using const splicing?
Received on 2026-11-10 18:25:24
