Add `ConstKind::Expr` - #99798

Merged

bors merged 16 commits into

rust-lang:masterfrom

JulianKnodt:ac1

Nov 26, 2022

Commits on Nov 25, 2022

Add empty ConstKind::Abstract
JulianKnodt
committed
f9750c1
Add expand_abstract_const
JulianKnodt
committed
5bb1a9f
handle nested obligations in `satisfied_from_param_env`

BoxyUwU
authored and
JulianKnodt
committed
8c729bd
fmt

BoxyUwU
authored and
JulianKnodt
committed
d75cd5c
handle assoc consts in fulfill `ConstEquate`

BoxyUwU
authored and
JulianKnodt
committed
0ae3c5c
also handle it in evaluate

BoxyUwU
authored and
JulianKnodt
committed
fd271ff
reduce duplicated argument logic

BoxyUwU
authored and
JulianKnodt
committed
f59b91e
fmt

BoxyUwU
authored and
JulianKnodt
committed
4833ce8
add FIXME for things that I couldn't find ways to trigger

BoxyUwU
authored and
JulianKnodt
committed
e58b932
dont skip const evalautable of non unevaluateds

BoxyUwU
authored and
JulianKnodt
committed
5a496aa
correctly intern `List<Const<'tcx>>`

BoxyUwU
authored and
JulianKnodt
committed
95e1a39
add FIXME's

BoxyUwU
authored and
JulianKnodt
committed
430f7d1
`super_relate_consts` do not spurriously fail on assoc consts

BoxyUwU
authored and
JulianKnodt
committed
4085e94
Make `expand_abstract_consts` infallible

BoxyUwU
authored and
JulianKnodt
committed
2ac5d91
only emit "enable gce" error if it would fix compile error

BoxyUwU
authored and
JulianKnodt
committed
677bdcb
Fix mk_const_list
JulianKnodt
committed
d0209db