rust/compiler/rustc_trait_selection/src
bors e466296627 Auto merge of #141762 - compiler-errors:witnesser, r=lcnr
Unify `CoroutineWitness` sooner in typeck, and stall coroutine obligations based off of `TypingEnv`

* Stall coroutine obligations based off of `TypingMode` in the old solver.
* Eagerly assign `TyKind::CoroutineWitness` to the witness arg of coroutines during typeck, rather than deferring them to the end of typeck.

r? lcnr

This is part of https://github.com/rust-lang/rust/issues/143017.
2025-07-17 20:02:22 +00:00
..
error_reporting Auto merge of #143879 - fee1-dead-contrib:push-lrlpoouyqqry, r=fmease 2025-07-17 15:54:33 +00:00
errors Fix elided lifetimes in rustdoc 2025-07-04 18:26:09 +00:00
solve Unstall obligations by looking for coroutines in old solver 2025-07-17 17:38:23 +00:00
traits Eagerly unify coroutine witness in old solver 2025-07-17 17:42:28 +00:00
errors.rs parse const trait Trait 2025-07-17 18:06:26 +08:00
infer.rs Eagerly unify coroutine witness in old solver 2025-07-17 17:42:28 +00:00
lib.rs Remove all unused feature gates from the compiler 2025-06-08 14:50:42 +00:00
opaque_types.rs Rename unpack to kind 2025-05-27 11:14:45 +00:00
regions.rs Only use implied bounds hack if bevy, and use deeply normalize in implied bounds hack 2025-03-04 18:18:48 +00:00
solve.rs Eagerly unify coroutine witness in old solver 2025-07-17 17:42:28 +00:00