#![allow(unused)]

trait Trait {
    fn foo(&self);
}

struct Impl {}

impl Trait for Impl {
    fn foo(&self) {
        println!("Hi");
    }
}

fn doo(t: Trait) {
    t.foo();
}

fn main() {
    let i = Impl{};

    doo(i as Trait);
}