| // 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 { |
| #[rustc_always_gca] |
| 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 ) >) {} |
