diff options
| author | Michael Goulet <michael@errs.io> | 2025-03-06 12:22:16 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-06 12:22:16 -0500 |
| commit | 00132141c7e36dbaba8d85a16146bee0627ac162 (patch) | |
| tree | 7c4ae0583e776dbc1d127a7e528f3bfb963882f0 /compiler/rustc_middle/src | |
| parent | 34d273b4bf3412794e3f5accf6866b61b17b78cf (diff) | |
| parent | 05a80608b36f71f49e6cc8d586f54c023264ac12 (diff) | |
| download | rust-00132141c7e36dbaba8d85a16146bee0627ac162.tar.gz rust-00132141c7e36dbaba8d85a16146bee0627ac162.zip | |
Rollup merge of #137764 - compiler-errors:always-applicable-negative-impl, r=lcnr
Ensure that negative auto impls are always applicable r? lcnr (or reassign if you dont want to review) https://github.com/rust-lang/rust/issues/68318#issuecomment-2689265030
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/traits/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_middle/src/traits/mod.rs b/compiler/rustc_middle/src/traits/mod.rs index b8698aa8233..53f233f20eb 100644 --- a/compiler/rustc_middle/src/traits/mod.rs +++ b/compiler/rustc_middle/src/traits/mod.rs @@ -397,9 +397,9 @@ pub enum ObligationCauseCode<'tcx> { RustCall, - /// Obligations to prove that a `std::ops::Drop` impl is not stronger than + /// Obligations to prove that a `Drop` or negative auto trait impl is not stronger than /// the ADT it's being implemented for. - DropImpl, + AlwaysApplicableImpl, /// Requirement for a `const N: Ty` to implement `Ty: ConstParamTy` ConstParam(Ty<'tcx>), |