// check-pass
#![allow(dead_code)]
// Test that methods in trait impls should override default methods.

trait T {
    fn foo(&self) -> i32 { 0 }
}

impl<'a> dyn T + 'a {
    fn foo(&self) -> i32 { 1 }
}

fn main() {}