pub(crate) fn coroutine_hidden_types<'tcx>(
tcx: TyCtxt<'tcx>,
def_id: DefId,
) -> EarlyBinder<'tcx, Binder<'tcx, CoroutineWitnessTypes<TyCtxt<'tcx>>>>
Expand description
Return the set of types that should be taken into account when checking
trait bounds on a coroutine’s internal state. This properly replaces
ReErased
with new existential bound lifetimes.