Matthias Krüger 893a5d2b32 Rollup merge of #113353 - compiler-errors:select-better, r=lcnr ... Implement selection for `Unsize` for better coercion behavior In order for much of coercion to succeed, we need to be able to deal with partial ambiguity of `Unsize` traits during selection. However, I pessimistically implemented selection in the new trait solver to just bail out with ambiguity if it was a built-in impl: 9227ff28af/compiler/rustc_trait_selection/src/solve/eval_ctxt/select.rs (L126) This implements a proper "rematch" procedure for dealing with built-in `Unsize` goals, so that even if the goal is ambiguous, we are able to get nested obligations which are used in the coercion selection-like loop: 9227ff28af/compiler/rustc_hir_typeck/src/coercion.rs (L702) Second commit just moves a `resolve_vars_if_possible` call to fix a bug where we weren't detecting a trait upcasting to occur. r? ``@lcnr``		2023-07-13 12:19:22 +02:00
..
src	Rollup merge of #113353 - compiler-errors:select-better, r=lcnr	2023-07-13 12:19:22 +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