Do not emit ConstEvaluatable goals if type-const#152040
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Mar 6, 2026
Merged
Do not emit ConstEvaluatable goals if type-const#152040rust-bors[bot] merged 1 commit intorust-lang:mainfrom
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
