let u32 = ABox::new_in(42_u32, Malloc);
let zst = ABox::new_in((), Malloc);
It would be nice if the former compiled while the latter didn't. This cannot be particularly well accomplished by separating nzst::* from zsty::*. For another example, these should both compile:
let u32 = ABox::new_in(42_u32, DangleZst(Malloc));
let zst = ABox::new_in((), DangleZst(Malloc));
Motivating example:
It would be nice if the former compiled while the latter didn't. This cannot be particularly well accomplished by separating
nzst::*
fromzsty::*
. For another example, these should both compile:TODO
usize