fn rebind_coroutine_witness_types<'tcx>(
tcx: TyCtxt<'tcx>,
def_id: DefId,
args: GenericArgsRef<'tcx>,
bound_vars: &'tcx List<BoundVariableKind>,
) -> Binder<'tcx, Vec<Ty<'tcx>>>
fn rebind_coroutine_witness_types<'tcx>(
tcx: TyCtxt<'tcx>,
def_id: DefId,
args: GenericArgsRef<'tcx>,
bound_vars: &'tcx List<BoundVariableKind>,
) -> Binder<'tcx, Vec<Ty<'tcx>>>