these can now just be paths to normal const items
currently this compiles:
#![feature(generic_const_args, min_generic_const_args, generic_const_items)]
type const FOO<const N: usize>: usize = const { N + 1 };
but we should go back to rejecting this now that people can just write const FOO<const N: usize>: usize = N + 1; and then use FOO<N> in the type system even though it's not a type const
This issue has been assigned to @LaneAsade via this comment.
these can now just be paths to normal const items
currently this compiles:
but we should go back to rejecting this now that people can just write
const FOO<const N: usize>: usize = N + 1;and then useFOO<N>in the type system even though it's not a type constThis issue has been assigned to @LaneAsade via this comment.