pub trait Foo { | |
const Y: usize; | |
} | |
struct Abc; | |
impl Foo for Abc { | |
const Y: usize = 8; | |
} | |
struct Def; | |
impl Foo for Def { | |
const Y: usize = 33; | |
} | |
pub fn test<A: Foo, B: Foo>() { | |
let _array: [u32; <A as Foo>::Y]; | |
//~^ ERROR the trait bound `A: Foo` is not satisfied [E0277] | |
} | |
fn main() { | |
} |