| // direct_const_arg! is a built-in macro relevant to min_generic_const_args; its contents should be | |
| // formatted as if its contents were passed through unchanged (the macro changes the semantics of | |
| // the contained expression, the syntax is unchanged) | |
| #![feature(min_generic_const_args)] | |
| trait Trait { | |
| type const TYPE_CONST: usize; | |
| } | |
| struct S<const N: usize>; | |
| fn parsed_as_expr_kind<T: Trait>(_: S<{ core::direct_const_arg!(T::TYPE_CONST) }>) {} | |
| fn parsed_as_ty_kind<T: Trait>(_: S<core::direct_const_arg!(T::TYPE_CONST)>) {} |