Add `ConstKind::Expr`#99798

Merged

bors merged 16 commits intorust-lang:masterfrom

JulianKnodt:ac1

Nov 26, 2022

Commits on Nov 25, 2022

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

BoxyUwU
authored and
JulianKnodt
committed
fmt

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

BoxyUwU
authored and
JulianKnodt
committed
also handle it in evaluate

BoxyUwU
authored and
JulianKnodt
committed
reduce duplicated argument logic

BoxyUwU
authored and
JulianKnodt
committed
fmt

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

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

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

BoxyUwU
authored and
JulianKnodt
committed
add FIXME's

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

BoxyUwU
authored and
JulianKnodt
committed
Make `expand_abstract_consts` infallible

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

BoxyUwU
authored and
JulianKnodt
committed
Fix mk_const_list
JulianKnodt
committed