tests/ui/associated-type-bounds/const-projection-err.rs

//@ revisions: stock gce

#![feature(associated_const_equality, min_generic_const_args)]
#![allow(incomplete_features)]

#![cfg_attr(gce, feature(generic_const_exprs))]

trait TraitWAssocConst {
    #[type_const]
    const A: usize;
}

fn foo<T: TraitWAssocConst<A = 1>>() {}

fn bar<T: TraitWAssocConst<A = 0>>() {
    foo::<T>();
    //~^ ERROR type mismatch resolving `<T as TraitWAssocConst>::A == 1`
}

fn main() {}