about summary refs log tree commit diff
path: root/compiler/rustc_codegen_llvm/src/errors.rs
diff options
context:
space:
mode:
authorMatthias Krüger <476013+matthiaskrgr@users.noreply.github.com>2025-05-21 22:14:59 +0200
committerGitHub <noreply@github.com>2025-05-21 22:14:59 +0200
commit69b13e4cabac3dcfa6a503e71781cc8fc3e86030 (patch)
tree0aeab03a51551c8d42883eb0daa9e669c077f0bb /compiler/rustc_codegen_llvm/src/errors.rs
parentb9c6b337cec34c71369d3d0df6f91f2032383f20 (diff)
parent5d9141c6c8640e98856fbe703b9f73204d85ba43 (diff)
downloadrust-69b13e4cabac3dcfa6a503e71781cc8fc3e86030.tar.gz
rust-69b13e4cabac3dcfa6a503e71781cc8fc3e86030.zip
Rollup merge of #141347 - lcnr:lets-make-it-unsound-3, r=compiler-errors
incorrectly prefer builtin `dyn` impls :3

This makes #57893 slightly more exploitable with the new solver. It's still strictly better than the old solver and the underlying unsoundness persists in the new one even without this preference.

Properly fixing #57893 is something we've been looking at more deeply recently and discussed at the [Types Meetup during the All-Hands](https://hackmd.io/rz-4ghMzTb2wXOkdLKHaHw#Dyn-traits). Whatever approach we'll end up deciding on will likely require a fairly long transition period and some significant further design work. This should not block `-Znext-solver`.

fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/183

r? `@compiler-errors` cc `@rust-lang/types`
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/errors.rs')
0 files changed, 0 insertions, 0 deletions