On 4/30/13 11:26 AM, Gábor Lehel wrote:
Couldn't this be relaxed? In other words allow dynamically sized `str` as a type (and perhaps similarly for other dynamically sized types), but prohibit those things specifically which would be problematic, i.e. using it in ways that would require knowing its size? I think this would essentially mean no variables, members, or parameters of that type, but you *could* use it as a type argument -- including to the various pointer type constructors.
Unfortunately that doesn't work, because opaque type variables `T` can still be moved, including into the local stack frame.
Patrick _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
