blob: 4d05569462bdf1cf7a3b5640a3978d0416bf2809 [file] [log] [blame]
struct Foo<const N: usize = { 14 }>;
const M: usize = 15;
type N = Foo<3>;
fn main() {
let _: Foo<15> = Foo;
let _: Foo<{ M }> = Foo;
let _: Foo<M> = Foo;
let _: Foo<N> = Foo;
// { dg-error {type provided when a constant was expected .E0747.} "" { target *-*-* } .-1 }
}