Michael Goulet 575f129faa Obligation::as_goal

2025-03-23 18:18:47 +00:00

..

query

Fold visit into ty

2025-03-15 06:34:36 +00:00

select

Remove existing AFIDT implementation

2025-03-18 17:35:26 +00:00

specialize

Rollup merge of #136968 - oli-obk:bye-bye, r=compiler-errors

2025-03-09 10:34:47 +01:00

auto_trait.rs

Move outlives env computation into methods

2025-01-28 18:55:03 +00:00

coherence.rs

Obligation::as_goal

2025-03-23 18:18:47 +00: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

Remove existing AFIDT implementation

2025-03-18 17:35:26 +00:00

effects.rs

trait_sel: resolve vars in host effects

2025-02-24 08:52:29 +00:00

engine.rs

Consolidate OutlivesEnv construction with resolve_regions

2025-01-28 18:55:03 +00:00

fulfill.rs

Greatly simplify lifetime captures in edition 2024

2025-02-22 22:24:52 +00:00

misc.rs

Move some Map methods onto TyCtxt.

2025-02-17 13:21:02 +11:00

mod.rs

Fold visit into ty

2025-03-15 06:34:36 +00:00

normalize.rs

…

outlives_bounds.rs

Only use implied bounds hack if bevy, and use deeply normalize in implied bounds hack

2025-03-04 18:18:48 +00:00

project.rs

Remove existing AFIDT implementation

2025-03-18 17:35:26 +00:00

structural_normalize.rs

Rename structurally_normalize to structurally_normalize_ty

2025-01-22 07:04:53 +00:00

util.rs

Use the right binder for rebinding PolyTraitRef

2025-02-12 23:55:12 +00:00

vtable.rs

Greatly simplify lifetime captures in edition 2024

2025-02-22 22:24:52 +00:00

wf.rs

Remove the Option part of range ends in the HIR

2025-03-06 10:47:40 +00:00