pub fn push_ty_name(
    resolve: &Resolve,
    ty: &Type,
    interface_names: &HashMap<InterfaceId, WorldKey>,
    world: &str,
    src: &mut String
)