diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-07-19 08:55:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-19 08:55:38 +0200 |
| commit | cc699e1edf1e0f4302e9c0feff2a004afcdb2e11 (patch) | |
| tree | bdf3f105f9ea53d7da7f44ba450e39556728a601 | |
| parent | ae77628a536f49be504a6357a609eee03a437783 (diff) | |
| parent | 99507a3ce8c5fb5d29833ae6caac9d72febee670 (diff) | |
| download | rust-cc699e1edf1e0f4302e9c0feff2a004afcdb2e11.tar.gz rust-cc699e1edf1e0f4302e9c0feff2a004afcdb2e11.zip | |
Rollup merge of #144115 - lcnr:auto-trait-comment, r=compiler-errors
fix outdated comment cc rust-lang/rust#84857 r? types
| -rw-r--r-- | compiler/rustc_next_trait_solver/src/solve/trait_goals.rs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/compiler/rustc_next_trait_solver/src/solve/trait_goals.rs b/compiler/rustc_next_trait_solver/src/solve/trait_goals.rs index 098dc9dbaf0..650b85d99d2 100644 --- a/compiler/rustc_next_trait_solver/src/solve/trait_goals.rs +++ b/compiler/rustc_next_trait_solver/src/solve/trait_goals.rs @@ -1219,10 +1219,8 @@ where // the type (even if after unification and processing nested goals // it does not hold) will disqualify the built-in auto impl. // - // This differs from the current stable behavior and fixes #84857. - // Due to breakage found via crater, we currently instead lint - // patterns which can be used to exploit this unsoundness on stable, - // see #93367 for more details. + // We've originally had a more permissive check here which resulted + // in unsoundness, see #84857. ty::Bool | ty::Char | ty::Int(_) |