WronglyTypedContractId.daml

module WronglyTypedContractId where

template T1
  with
    p : Party
  where
    signatory p

template T2
  with
    p : Party
  where
    signatory p

template Fetcher
  with
    p : Party
  where
    signatory p
    choice Fetch2 : T2
      with
        cid : ContractId T2
      controller p
      do fetch cid

test = scenario do
  p <- getParty "p"
  cid <- submit p $ create (T1 p)
  fetcher <- submit p $ createAndExercise (Fetcher p) (Fetch2 (coerceContractId cid))
  pure ()