Crash of Daml script on duplicate disclosed contract

[meiersi-da]

Affected Daml version

sdk-version: 3.0.0-snapshot.20240318.12913.0.v1c415c97

Bug description

The crash below is unexpected.

module Splice.Scripts.ReproDuplicateDisclosureCrash where

import Daml.Script

template Foo with p : Party
  where
    signatory p

    nonconsuming choice Foo_Dummy : ()
      controller p
      do pure ()

testDuplicateDisclosure : Script ()
testDuplicateDisclosure = do
  alice <- allocateParty "Alice"
  fooCid <- submit alice $ createCmd Foo with p = alice


  Some fooDisc <- queryDisclosure @Foo alice fooCid

  submitWithDisclosures alice [fooDisc] $ exerciseCmd fooCid Foo_Dummy

  -- Fails with
  --
  -- Script execution failed:
  --   CRASH: Script.FailedCmd unexpected cause: null
  --
  submitWithDisclosures alice [fooDisc, fooDisc] $ exerciseCmd fooCid Foo_Dummy

To reproduce

See script above.

Expected behavior

Allow disclosing the same contract multiple times. This can easily happen when fetching disclosure from multiple disparate contexts.

Additional context

[meiersi-da]

Closing as this is due to currently expected behavior in Canton: https://github.com/DACH-NY/canton/blob/073343d4f145886f953fa49f3a8f4edc344616c9/enterprise/ledger-test-tool/suites/lf-v2.1/src/main/scala/com/daml/ledger/api/testtool/suites/v2_1/ExplicitDisclosureIT.scala#L317-L355

This should likely change, but I'll create a separate ticket for that.