about summary refs log tree commit diff
path: root/compiler/rustc_errors/src/snippet.rs
diff options
context:
space:
mode:
authorYuki Okushi <jtitor@2k36.org>2023-04-11 12:18:49 +0900
committerGitHub <noreply@github.com>2023-04-11 12:18:49 +0900
commita69cc45d8265e37646be24158137de5a428099ca (patch)
tree5381933b10ea99724dc1ab2b0283724ebd31c6c6 /compiler/rustc_errors/src/snippet.rs
parentc617ddf4f32f2ac93b05017b8b1b4164b76b1ee1 (diff)
parent8d2dbba63eaa61252c4c533e1490ac75f97374b9 (diff)
downloadrust-a69cc45d8265e37646be24158137de5a428099ca.tar.gz
rust-a69cc45d8265e37646be24158137de5a428099ca.zip
Rollup merge of #109752 - compiler-errors:new-solver-stall-auto-trait-for-num-var, r=lcnr
Stall auto trait assembly in new solver for int/float vars

Make sure that we don't match int/float vars against *all* manual auto trait impls due to this check:

https://github.com/rust-lang/rust/blob/2fb0e8d162a021f8a795fb603f5d8c0017855160/compiler/rustc_trait_selection/src/solve/trait_goals.rs#L151-L169

Since `find_map_relevant_impl` treats all impls as candidates for int/float vars, due to the way that `fast_reject::simplify_type` works.

This fixes compiler-errors/next-solver-hir-issues#11.

r? ``@lcnr``
Diffstat (limited to 'compiler/rustc_errors/src/snippet.rs')
0 files changed, 0 insertions, 0 deletions