tests/ui/const-generics/associated-const-bindings/issue-93835.rs

#![feature(type_ascription)]

fn e() {
    type_ascribe!(p, a<p:p<e=6>>);
    //~^ ERROR cannot find type `a` in this scope
    //~| ERROR cannot find value
    //~| ERROR associated const equality is incomplete
    //~| ERROR cannot find trait `p` in this scope
    //~| ERROR associated const equality is incomplete
}

fn main() {}