bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Use bound_coroutine_witnesses in old solver

Browse source
This commit is contained in:
Michael Goulet 2025-02-26 17:31:41 +00:00
parent 8282181e42
commit ad74788670
5 changed files with 27 additions and 81 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_next_trait_solver/src/solve/assembly/structural_traits.rs
View file

@ -74,7 +74,7 @@ where
ty::CoroutineWitness(def_id, args) => Ok(ecx
.cx()
.bound_coroutine_hidden_types(def_id)
.coroutine_hidden_types(def_id)
.instantiate(cx, args)
.map_bound(|tys| tys.to_vec())),
@ -240,7 +240,7 @@ where
// impl Copy/Clone for CoroutineWitness where T: Copy/Clone forall T in coroutine_hidden_types
ty::CoroutineWitness(def_id, args) => Ok(ecx
.cx()
.bound_coroutine_hidden_types(def_id)
.coroutine_hidden_types(def_id)
.instantiate(ecx.cx(), args)
.map_bound(|tys| tys.to_vec())),
}