pub(super) fn type_of_opaque( tcx: TyCtxt<'_>, def_id: DefId, ) -> Result<EarlyBinder<'_, Ty<'_>>, CyclePlaceholder>