bors b5e51db16d Auto merge of #112938 - compiler-errors:clause-3, r=oli-obk ...

Migrate `TyCtxt::predicates_of` and `ParamEnv::caller_bounds` to `Clause`

The last big change in the series.

I will follow-up with additional filed issues once this PR lands:
- [ ] Investigate making `TypeFoldable<TyCtxt<'tcx>> for ty::Clause<'tcx>` implementation less weird: https://github.com/rust-lang/rust/blob/2efe09170530fa18e42ff05b8d9dd23f00b5c430/compiler/rustc_middle/src/ty/structural_impls.rs#L672
- [ ] Clean up the elaborator since it should only be emitting child clauses, not predicates
- [ ] Rename identifiers like `pred` and `predicates` to `clause` if they're actually clauses around the codebase
- [ ] Validate that all of the `ToPredicate` impls are acutally still needed, or prune them if they're not

r? `@ghost` until the other branch lands

2023-06-27 03:14:45 +00:00

..

src

Auto merge of #112938 - compiler-errors:clause-3, r=oli-obk

2023-06-27 03:14:45 +00:00

Cargo.toml

Migrate mir_transform to translatable diagnostics

2023-05-02 16:24:18 +01:00

messages.ftl

Add note about unsafe functions body not being unsafe

2023-06-13 15:48:57 +02:00