rustc/tests/ui/compare-method/region-extra.rs
2023-08-02 10:33:26 +02:00

15 lines
271 B
Rust

// Test that you cannot add an extra where clause in the impl relating
// two regions.
trait Master<'a, 'b> {
fn foo();
}
impl<'a, 'b> Master<'a, 'b> for () {
fn foo() where 'a: 'b { } //~ ERROR impl has stricter
}
fn main() {
println!("Hello, world!");
}