// 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() {}