Matthias Krüger 3c322bc1cc Rollup merge of #140320 - lcnr:wf-use-term, r=compiler-errors ...

replace `GenericArg` with `Term` where applicable

r? types

2025-04-26 16:12:33 +02:00

..

src

Rollup merge of #140320 - lcnr:wf-use-term, r=compiler-errors

2025-04-26 16:12:33 +02:00

Cargo.toml

norm nested aliases before evaluating the parent goal

2025-04-24 18:41:43 +00:00