LinearTypes => MonoLocalBinds

compiler/GHC/Driver/Session.hs

@@ -2861,6 +2861,9 @@ impliedXFlags
     -- The extensions needed to declare an H98 unlifted data type
     , (LangExt.UnliftedDatatypes, turnOn, LangExt.DataKinds)
     , (LangExt.UnliftedDatatypes, turnOn, LangExt.StandaloneKindSignatures)
+
+    -- See Note [Destructuring AbsBinds aren't linear] in GHC.Tc.Gen.Bind
+    , (LangExt.LinearTypes, turnOn, LangExt.MonoLocalBinds)
   ]
 
 -- | Things you get with `-dlint`.

testsuite/tests/linear/should_compile/T1735Min.hs

-{-# LANGUAGE LinearTypes #-}
+{-# LANGUAGE LinearTypes, NoMonoLocalBinds #-}
 {-# LANGUAGE UndecidableInstances, Rank2Types,
     KindSignatures, EmptyDataDecls, MultiParamTypeClasses, CPP #-}