rust/compiler/rustc_trait_selection/src/traits
Oli Scherer 5fbdfc3e10
Add iter macro
This adds an `iter!` macro that can be used to create movable
generators.

This also adds a yield_expr feature so the `yield` keyword can be used
within iter! macro bodies. This was needed because several unstable
features each need `yield` expressions, so this allows us to stabilize
them separately from any individual feature.

Co-authored-by: Oli Scherer <github35764891676564198441@oli-obk.de>
Co-authored-by: Jieyou Xu <jieyouxu@outlook.com>
Co-authored-by: Travis Cross <tc@traviscross.com>
2025-06-03 10:52:32 -07:00
..
query Rename 2025-05-26 08:48:19 +00:00
select Add iter macro 2025-06-03 10:52:32 -07:00
specialize Use less rustc_type_ir in the compiler codebase 2025-04-30 16:42:33 +02:00
auto_trait.rs Rename 2025-05-26 08:48:19 +00:00
coherence.rs clean code: remove Deref<Target=RegionKind> impl for Region and use .kind() 2025-04-08 10:51:41 +08:00
const_evaluatable.rs compiler: Use size_of from the prelude instead of imported 2025-03-07 13:37:04 -08:00
dyn_compatibility.rs Use less rustc_type_ir in the compiler codebase 2025-04-30 16:42:33 +02:00
effects.rs Rollup merge of #140516 - rperier:type-ir-to-type-middle, r=lcnr 2025-04-30 17:28:02 +02:00
engine.rs eagerly check nested obligations when coercing fndefs 2025-05-21 11:09:48 +00:00
fulfill.rs Rename 2025-05-26 08:48:19 +00:00
misc.rs Move some Map methods onto TyCtxt. 2025-02-17 13:21:02 +11:00
mod.rs Don't retry in pred_known_to_hold_modulo_regions in new solver, since new solver is more complete 2025-05-26 08:37:28 +00:00
normalize.rs Document why we allow escaping bound vars in LTA norm 2025-05-21 20:09:41 +01:00
outlives_bounds.rs Rename 2025-05-26 08:48:19 +00:00
project.rs Return correct error term kind on projection errors 2025-05-22 12:02:45 +01:00
structural_normalize.rs Rename unpack to kind 2025-05-27 11:14:45 +00:00
util.rs re-use sized fast path 2025-04-09 10:42:26 +00:00
vtable.rs Move has_self field to hir::AssocKind::Fn. 2025-04-14 16:13:04 +10:00
wf.rs Rename unpack to kind 2025-05-27 11:14:45 +00:00