pub(super) fn type_of(tcx: TyCtxt<'_>, def_id: DefId) -> Ty<'_>