Skip to content

Move WF/ConstEvaluatable goal to clause#112667

Merged
bors merged 3 commits intorust-lang:masterfrom
compiler-errors:wf-goal-is-clause
Jun 18, 2023

Commits

Commits on Jun 17, 2023