[WIP] Rework the entire const trait system - #96077

Closed

fee1-dead wants to merge 51 commits into

rust-lang:masterfrom

fee1-dead-contrib:const_trait

Commits on Jul 15, 2022

Add new generic param
fee1-dead
committed
cc5960c
Add GenericArgDefKind::Constness and tweak generics_of
fee1-dead
committed
1933ba7
Small fixups

oli-obk
authored and
fee1-dead
committed
0f0f917
Update rustc_{infer,resolve,typeck,trait_selection}
fee1-dead
committed
7014e40
Fix more trivial errors
fee1-dead
committed
1bafdc2
Address trivial lints

oli-obk
authored and
fee1-dead
committed
ab19ef3
rustc_const_eval

oli-obk
authored and
fee1-dead
committed
429f9e1
runtime matches fall back to non-const PartialEq.

oli-obk
authored and
fee1-dead
committed
d9b6e50
Small fixups

oli-obk
authored and
fee1-dead
committed
821bb1f
Infer constness params from context if missing

oli-obk
authored and
fee1-dead
committed
67e3eb3
Port some more crates

oli-obk
authored and
fee1-dead
committed
1b70638
Update mir typeck

oli-obk
authored and
fee1-dead
committed
11026ec
typeck and borrowck compile

oli-obk
authored and
fee1-dead
committed
6ce5109
Get rustc_privacy to compile

oli-obk
authored and
fee1-dead
committed
7d3ee99
rustdoc

oli-obk
authored and
fee1-dead
committed
537b869
clippy

oli-obk
authored and
fee1-dead
committed
69e6e63
Start poking ICEs until they melt

oli-obk
authored and
fee1-dead
committed
dd7ec37
Fix assertion ICE
fee1-dead
committed
77b4af3
Add more information to substitution failure

oli-obk
authored and
fee1-dead
committed
17339ca
Only add constness arg for const_trait traits

oli-obk
authored and
fee1-dead
committed
826f29d
Print GenericArg
fee1-dead
committed
0d5b724
Explicitly handle constness from parents

oli-obk
authored and
fee1-dead
committed
e70e92e
Now that constness is optional, we default to not-const if it isn't there

oli-obk
authored and
fee1-dead
committed
7c5527d
Constness is optional now

oli-obk
authored and
fee1-dead
committed
0fe3432
Remove constness arg from `mk_substs_trait`

oli-obk
authored and
fee1-dead
committed
56a16f8
Remove the helper-methods for mk_substs_trait

oli-obk
authored and
fee1-dead
committed
1727172
Stop appending constness to all substs

oli-obk
authored and
fee1-dead
committed
71bcd35
Allow the constness argument anywhere in the generics list

oli-obk
authored and
fee1-dead
committed
c59a58c
HACK: Remove all const trait impls and `~const` from libcore/libstd

oli-obk
authored and
fee1-dead
committed
b8675a2
Fix up some trivial test changes

oli-obk
authored and
fee1-dead
committed
03d3d0d
Require explicitly handling the tristate constness

oli-obk
authored and
fee1-dead
committed
2b7ec4f
Actually substitute constness params

oli-obk
authored and
fee1-dead
committed
4c0f2d0
Some tracing for better debugging

oli-obk
authored and
fee1-dead
committed
d0db6fe
Fix typeck probing code to use constness from FnCtxt
fee1-dead
committed
4a58caa
Introduce ConstnessArg::Infer and fix some tests
fee1-dead
committed
57493e5
Handle matches added by rebase
fee1-dead
committed
cbb2cf8
More attempts to fix ui errors
fee1-dead
committed
ad467ae
Merge ::Required and ::Param
fee1-dead
committed
84054f7
Add CosntnessArg::Const when needed
fee1-dead
committed
cd2edf6
Fixed error with more TODOs
fee1-dead
committed
d4551d2
Don't require has_self when adding constness
fee1-dead
committed
a319331
Return unimplemented when feature is not enabled
fee1-dead
committed
d2322b2
const impls have constness
fee1-dead
committed
cb8bde3
var_for_def uses actual constness sometimes
fee1-dead
committed
6dfe452
Fix more ui tests
fee1-dead
committed
a0cd8a2
Equate candidates modulo constness
fee1-dead
committed
1ee0614
Revert "HACK: Remove all const trait impls and `~const` from libcore/libstd"
fee1-dead
committed
7316ca4
attempt to fix std ice
fee1-dead
committed
25be7a4
More attempts to fix ICE
fee1-dead
committed
4f50485
general fixes
fee1-dead
committed
4845b35
fixup
fee1-dead
committed
b8bbee6