Use fulfillment to check Drop impl compatibility

2023-04-20 03:56:36 +00:00
parent eac35583d2
commit 964fb67a5f
4 changed files with 105 additions and 231 deletions
--- a/compiler/rustc_middle/src/traits/mod.rs
+++ b/compiler/rustc_middle/src/traits/mod.rs
@@ -444,6 +444,10 @@ pub enum ObligationCauseCode<'tcx> {
    AscribeUserTypeProvePredicate(Span),

    RustCall,
+
+    /// Obligations to prove that a `std::ops::Drop` impl is not stronger than
+    /// the ADT it's being implemented for.
+    DropImpl,
 }

 /// The 'location' at which we try to perform HIR-based wf checking.