type Identity {
    fn id<X: Type>(x: X) -> X {
        return x
    }
}

interface Id {
    fn id<X: Type>(x: X) -> X
}

fn useId<F: Id, X: Type>(value: X) -> X {
    return F.id(value)
}

pub fn main(world: World) -> Void raises {
    let value: i32 = useId<Identity, i32>(1)
    if value == 1 {
        check world.out.write("interface method generic ok\n")
    }
}