tests/ui/closures/issue-90871.rs

#![feature(type_ascription)]

fn main() {
    type_ascribe!(2, n([u8; || 1]))
    //~^ ERROR cannot find type `n` in this scope
    //~| ERROR mismatched types
}