bors ba1d7f4a08 Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=oli-obk ... Implement new effects desugaring cc `@rust-lang/project-const-traits.` Will write down notes once I have finished. * [x] See if we want `T: Tr` to desugar into `T: Tr, T::Effects: Compat<true>` * [x] Fix ICEs on `type Assoc: ~const Tr` and `type Assoc<T: ~const Tr>` * [ ] add types and traits to minicore test * [ ] update rustc-dev-guide Fixes #119717 Fixes #123664 Fixes #124857 Fixes #126148		2024-06-29 20:08:10 +00:00
..
erase.rs	Rename InstanceDef -> InstanceKind	2024-06-16 21:35:21 -04:00
keys.rs	Rename InstanceDef -> InstanceKind	2024-06-16 21:35:21 -04:00
mod.rs	Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=oli-obk	2024-06-29 20:08:10 +00:00
on_disk_cache.rs	local_def_path_hash_to_def_id can fail	2024-06-19 07:45:47 -04:00
plumbing.rs	Remove extern crate rustc_macros from rustc_middle.	2024-04-29 11:19:16 +10:00