pub(super) fn type_of_opaque_hir_typeck( tcx: TyCtxt<'_>, def_id: LocalDefId, ) -> EarlyBinder<'_, Ty<'_>>