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
Merged

Move WF/ConstEvaluatable goal to clause#112667
bors merged 3 commits intorust-lang:masterfrom
compiler-errors:wf-goal-is-clause

Commits

Commits on Jun 17, 2023