|
//@ should-fail
|
|
|
|
#![allow(unused)]
|
|
|
|
trait Foo<T>: Sized {
|
|
fn bar(i: i32, t: T, s: &Self) -> (T, i32);
|
|
}
|
|
|
|
impl Foo<usize> for () {
|
|
fn bar(i: _, t: _, s: _) -> _ {
|
|
//~^ ERROR the placeholder `_` is not allowed within types on item signatures for functions
|
|
(1, 2)
|
|
}
|
|
}
|
|
|
|
fn main() {}
|