pub fn ident_ty(ident: Ident) -> Type