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

..

dep_graph

local_def_path_hash_to_def_id can fail

2024-06-19 07:45:47 -04:00

hir

Revert "Create const block DefIds in typeck instead of ast lowering"

2024-06-07 08:33:58 +00:00

hooks

Remove #[macro_use] extern crate tracing from rustc_middle.

2024-05-23 18:02:40 +10:00

infer

Simplify IntVarValue/FloatVarValue

2024-06-01 10:31:32 -04:00

middle

Rollup merge of #124741 - nebulark:patchable-function-entries-pr, r=estebank,workingjubilee

2024-06-28 08:34:07 +02:00

mir

Auto merge of #126844 - scottmcm:more-ptr-cast-gvn, r=saethlin

2024-06-26 14:22:31 +00:00

query

Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=oli-obk

2024-06-29 20:08:10 +00:00

thir

Track mutability of deref patterns

2024-04-20 15:59:54 +02:00

traits

Make queries more explicit

2024-06-27 12:03:57 -04:00

ty

Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=oli-obk

2024-06-29 20:08:10 +00:00

util

Use is_lang_item more aggressively

2024-06-14 16:54:29 -04:00

arena.rs

Uplift PredefinedOpaquesData

2024-06-18 10:40:30 -04:00

error.rs

Remove extern crate rustc_macros from rustc_middle.

2024-04-29 11:19:16 +10:00

lib.rs

Rollup merge of #125505 - aDotInTheVoid:middle-idl, r=pnkfelix

2024-06-05 18:21:09 +02:00

lint.rs

Auto merge of #125410 - fmease:adj-lint-diag-api, r=nnethercote

2024-05-27 08:44:12 +00:00

macros.rs

Use a dedicated type instead of a reference for the diagnostic context

2024-06-18 15:42:11 +00:00

metadata.rs

Remove extern crate rustc_macros from rustc_middle.

2024-04-29 11:19:16 +10:00

tests.rs

Give an item related to issue 27438 a more meaningful name

2024-04-30 22:27:19 +02:00

thir.rs

Replace f16 and f128 pattern matching stubs with real implementations

2024-06-23 04:28:42 -05:00

values.rs

Use Variance glob import everywhere

2024-06-12 16:25:45 -04:00