#![deny(dead_code)]
mod inner {
pub trait Trait {
fn f(&self) { f(); }
}
impl Trait for isize {}
fn f() {}
pub fn foo() {
let a = &1isize as &inner::Trait;
a.f();