// 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() {}