diff options
| author | Michael Goulet <michael@errs.io> | 2025-02-28 01:28:32 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-03-04 17:45:18 +0000 |
| commit | 3d62b279ddc2095b94aa5921540b27f3003365ff (patch) | |
| tree | 5444523a2fbfeceb8165ab86e2b5d64e7a76338c /compiler/rustc_middle/src/traits/mod.rs | |
| parent | fd17deacce374a4185c882795be162e17b557050 (diff) | |
| download | rust-3d62b279ddc2095b94aa5921540b27f3003365ff.tar.gz rust-3d62b279ddc2095b94aa5921540b27f3003365ff.zip | |
Ensure that negative auto impls are always applicable
Diffstat (limited to 'compiler/rustc_middle/src/traits/mod.rs')
| -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 d033ecc75db..af38748d5b2 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>), |