1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
// check-pass #![feature(associated_const_equality)] pub trait Trait { const ASSOC: usize; } pub fn foo< T: Trait< ASSOC = { let a = 10_usize; let b: &'_ usize = &a; *b }, >, >() { } fn main() {}