Matthias Krüger 8efbc2cbae

Rollup merge of #116261 - lcnr:wf-only-clause, r=davidtwco ...

a small wf and clause cleanup

- remove `Clause::from_projection_clause`, instead use `ToPredicate`
- change `predicate_obligations` to directly take a `Clause`
- remove some unnecessary `&`
- use clause in `min_specialization` checks where easily applicable

2023-10-03 16:24:15 +02:00

..

src

Rollup merge of #116261 - lcnr:wf-only-clause, r=davidtwco

2023-10-03 16:24:15 +02:00

Cargo.toml

…

messages.ftl

#[diagnostic::on_unimplemented] without filters

2023-09-12 20:03:18 +02:00