blob: 0a7188881f60fb2b8347d61d6fce14373cac5706 [file] [log] [blame] [edit]
//@ compile-flags: -Z teach
trait SomeTrait {
fn foo(&self);
}
struct S;
impl SomeTrait for S {
fn foo(&self) {}
}
fn main() {
let trait_obj: &dyn SomeTrait = &S;
let &invalid = trait_obj;
//~^ ERROR E0033
}