[rustc.git] / src / test / ui / issues / issue-57362-1.rs

// Test for issue #57362, ensuring that the self ty is shown in cases of higher-ranked lifetimes
// conflicts: the `expected` and `found` trait refs would otherwise be printed the same, leading
// to confusing notes such as:
//  = note: expected type `Trait`
//             found type `Trait`

// from issue #57362
trait Trait {
    fn f(self);
}

impl<T> Trait for fn(&T) {
    fn f(self) {
        println!("f");
    }
}

fn f() {
    let a: fn(_) = |_: &u8| {};
    a.f(); //~ ERROR no method named `f`
}

fn main() {}
Commit	Line	Data
9fa01778 XL	1	// Test for issue #57362, ensuring that the self ty is shown in cases of higher-ranked lifetimes
	2	// conflicts: the `expected` and `found` trait refs would otherwise be printed the same, leading
	3	// to confusing notes such as:
	4	// = note: expected type `Trait`
	5	// found type `Trait`
	6
	7	// from issue #57362
	8	trait Trait {
	9	fn f(self);
	10	}
	11
	12	impl<T> Trait for fn(&T) {
	13	fn f(self) {
	14	println!("f");
	15	}
	16	}
	17
	18	fn f() {
	19	let a: fn(_) = \|_: &u8\| {};
	20	a.f(); //~ ERROR no method named `f`
	21	}
	22
	23	fn main() {}