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