Matthias Krüger da18cf8572 Rollup merge of #113625 - compiler-errors:structurally-norm-in-selection, r=lcnr ... Structurally normalize in selection We need to do this because of the fact that we're checking the `Ty::kind` on a type during selection, but goals passed into select are not necessarily normalized. Right now, we're (kinda) unnecessarily normalizing the RHS of a trait upcasting goal, which is broken for different reasons (#113393). But I'm waiting for this PR to land before discussing that one. r? `@lcnr`		2023-07-15 19:42:51 +02:00
..
src	Rollup merge of #113625 - compiler-errors:structurally-norm-in-selection, r=lcnr	2023-07-15 19:42:51 +02:00
Cargo.toml	drop unused deps, gate libc under unix for one crate	2023-04-22 15:22:21 +03:00
messages.ftl	Ensure Fluent messages are in alphabetical order	2023-05-25 23:49:35 +00:00