Stabilizing a const generics MVP

language design
21

This already exists, even for aggregates. The only thing where it doesn't work is through references to other statics, we don't follow references that point into statics. But since the static must be WF itself, you need unsafe code to construct a bad reference. Also constants can't refer to statics, so this is a non-issue for const generics.

const FOO: usize = unsafe { std::mem::transmute(&42) };

will give an error that can't be worked around

22

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.