bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity
rust/compiler/rustc_middle
History
Matthias Krüger 8d3d3cc0ba
Rollup merge of #112667 - compiler-errors:wf-goal-is-clause, r=lcnr 
Move WF/ConstEvaluatable goal to clause

It can show up in a param-env, so I think it needs to be a clause kind.

r? ```@lcnr``` or ```@oli-obk```
2023-06-18 08:06:41 +02:00
..
src Rollup merge of #112667 - compiler-errors:wf-goal-is-clause, r=lcnr 2023-06-18 08:06:41 +02:00
Cargo.toml Use dynamic dispatch for queries 2023-04-30 09:48:47 +02:00
messages.ftl Use translatable diagnostics in rustc_const_eval 2023-06-01 14:45:18 +00:00
README.md

README.md

For more information about how rustc works, see the rustc dev guide.