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	drop unused deps, gate libc under unix for one crate	2023-04-22 15:22:21 +03:00
messages.ftl	#[diagnostic::on_unimplemented] without filters	2023-09-12 20:03:18 +02:00