tests/ui/variance/leaking-unnameables.rs


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

// Test variance computation doesn't explode when we leak unnameable
// types due to `-> _` recovery.

pub struct Type<'a>(&'a ());

pub fn g() {}

pub fn f<T>() -> _ {
   //~^ ERROR the placeholder `_` is not allowed within types on item signatures
   g
}

fn main() {}