Fail on allReferenceInputs when not null

Author: Jimbo4350

cardano-cli/cardano-cli.cabal

@@ -253,6 +253,7 @@ library
     cardano-ledger-conway,
     cardano-ledger-core,
     cardano-ledger-dijkstra,
+    cardano-ledger-mary,
     cardano-ping ^>=0.9,
     cardano-prelude,
     cardano-protocol-tpraos,

cardano-cli/src/Cardano/CLI/EraBased/Transaction/Run.hs

@@ -74,6 +74,7 @@ import Cardano.CLI.Type.Error.TxCmdError
 import Cardano.CLI.Type.Error.TxValidationError
 import Cardano.CLI.Type.Output (renderScriptCostsWithScriptHashesMap)
 import Cardano.Ledger.Api (allInputsTxBodyF, bodyTxL)
+import Cardano.Ledger.Mary.Value qualified as L
 import Cardano.Prelude (putLByteString)
 
 import RIO hiding (toList)
@@ -1010,7 +1011,6 @@ runTxBuild
       -- as it's not possible to call this function with ByronEra
       let era = toCardanoEra sbe
           inputsThatRequireWitnessing = [input | (input, _) <- inputsAndMaybeScriptWits]
-
       let allReferenceInputs =
             getAllReferenceInputs
               (map snd inputsAndMaybeScriptWits)
@@ -1021,6 +1021,17 @@ runTxBuild
               (map snd proposals)
               readOnlyRefIns
 
+      let (ma, _) = mintValueWithScriptWits
+          flat = L.flattenMultiAsset ma
+      if not $ null flat
+        then
+          error $
+            unlines
+              [ "allReferenceInputs:" <> show allReferenceInputs
+              , "mintValueWithScriptWits:" <> show mintValueWithScriptWits
+              ]
+        else return ()
+
       let allTxInputs = inputsThatRequireWitnessing ++ allReferenceInputs ++ txinsc
           localNodeConnInfo =
             LocalNodeConnectInfo