tests/ui/coherence/skip-reporting-if-references-err.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

// Regression test for #121006.
trait ToUnit<'a> {
    type Unit;
}

impl<T> ToUnit for T {}
//~^ ERROR implicit elided lifetime not allowed here

trait Overlap {}
impl<U> Overlap for fn(U) {}
impl Overlap for for<'a> fn(<() as ToUnit<'a>>::Unit) {}

fn main() {}