| // Regression test for #132882. |
| |
| use std::ops::Add; |
| |
| pub trait Numoid: Sized |
| where |
| &'missing Self: Add<Self>, |
| //~^ ERROR use of undeclared lifetime name `'missing` |
| { |
| } |
| |
| // Proving `N: Numoid`'s well-formedness causes us to have to prove `&'missing N: Add<N>`. |
| // Since `'missing` is a region error, that will lead to us consider the predicate to hold, |
| // since it references errors. Since the freshener turns error regions into fresh regions, |
| // this means that subsequent lookups of `&'?0 N: Add<N>` will also hit this cache entry |
| // even if candidate assembly can't assemble anything for `&'?0 N: Add<?1>` anyways. This |
| // led to an ICE. |
| pub fn compute<N: Numoid>(a: N) { |
| let _ = &a + a; |
| //~^ ERROR cannot add `N` to `&N` |
| } |
| |
| fn main() {} |
