src/test/ui/compare-method/region-extra.rs

   1 // Test that you cannot add an extra where clause in the impl relating
   2 // two regions.
   3
   4 trait Master<'a, 'b> {
   5     fn foo();
   6 }
   7
   8 impl<'a, 'b> Master<'a, 'b> for () {
   9     fn foo() where 'a: 'b { } //~ ERROR impl has stricter
  10 }
  11
  12 fn main() {
  13     println!("Hello, world!");
  14 }