4 // This should not compile, as the compiler should not know
5 // `A - 0` is satisfied `?x - 0` if `?x` is inferred to `A`.
6 #![allow(incomplete_features)]
7 #![feature(generic_const_exprs)]
9 pub struct Ref<'a>(&'a i32);
12 pub fn foo<const A: usize>() -> [(); A - 0] {
13 //~^ WARN function cannot