fix comment

Author: lcnr

compiler/rustc_mir_build/src/build/block.rs

@@ -107,7 +107,7 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
                     // the pattern matching passes, in the MIR building the storages for them
                     // are declared as live any way.
                     // This is similar to `let x;` statements without an initializer expression,
-                    // where the value of `x` in this example may or may be assigned,
+                    // where the value of `x` in this example may or may not be assigned,
                     // because the storage for their values may not be live after all due to
                     // failure in pattern matching.
                     // For this reason, we declare those storages as live but we do not schedule

compiler/rustc_mir_build/src/build/scope.rs

@@ -1145,12 +1145,12 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
                     }
                     // Opaque type may not have been scheduled if its underlying
                     // type does not need drop.
-                    None if self.local_decls[local].ty.has_opaque_types() => return,
                     _ => bug!(
-                        "found wrong drop, expected value drop of {:?} in scope {:?}, found {:?}",
+                        "found wrong drop, expected value drop of {:?} in scope {:?}, found {:?}, all scopes {:?}",
                         local,
                         region_scope,
                         drop,
+                        self.scopes.scopes,
                     ),
                 }
             }