Ensure constants are WF before calling into CTFE - #137972

Closed

BoxyUwU wants to merge 8 commits into

rust-lang:mainfrom

BoxyUwU:ty_const_wf_before_eval

Commits on Apr 15, 2025

Rename `from_method` to `from_assoc_args`
BoxyUwU
committed
e8c7fed
Introduce `tcx.anon_const_kind` query
BoxyUwU
committed
3bbcdc7
Impossible preds tests
BoxyUwU
committed
86ec81f
Properly defer evaluation of consts with infers/params
BoxyUwU
committed
8862aea
Check for impossible preds before evaluating definitions
BoxyUwU
committed
031f947
Bless (and add) some tests
BoxyUwU
committed
fe25260
Comment about normalization of anon consts with impossible preds
BoxyUwU
committed
d5a2707
Fix missing value for constant ICE
BoxyUwU
committed
376ff5d