ba1d7f4a08
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 |
||
|---|---|---|
| .. | ||
| solve | ||
| canonicalizer.rs | ||
| delegate.rs | ||
| lib.rs | ||
| resolve.rs | ||