reimplement `~const Trait` bounds via a fourth kind of generic param - #101900

Closed

oli-obk wants to merge 13 commits into

rust-lang:masterfrom

oli-obk:const_trait_take_two

Commits on Jan 9, 2023

Introduce effect datastructure
oli-obk
committed
37f6e29
In the transition period where not all operator traits are const_trait yet (including using keyword generics) reinstate the ICE on malformed operator trait declarations.
oli-obk
committed
8f57f7a
Add TypeFoldable impls for effects
oli-obk
committed
1cd3a64
Add Lift impls for `Effect`
oli-obk
committed
57ec943
Add effect inference var unification table
oli-obk
committed
230f0ad
Add effects to TypeRelation
oli-obk
committed
e523a95
Add effect generic param
oli-obk
committed
23f8475
Add GenericParamDefKind::Effect
oli-obk
committed
82f2130
Add canonicalization for effects
oli-obk
committed
6d5c679
Fiddle HirId through a bunch of methods
oli-obk
committed
490c462
Need to wait for derive_const to land on master before we can land effects
oli-obk
committed
200b34d
Generate effects for const fns and const traits under the `effects` feature gate
oli-obk
committed
5da0201
Add Callable trait for future simplification of const checks
oli-obk
committed
93b00a7