14 lines
264 B
Rust
14 lines
264 B
Rust
// 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() {}
|