// Attempting to publish two modules with the same name should fail

module Duplicate {
  resource T1 { f: u64 }
}

//! new-transaction

module Duplicate {
  resource T2 { f: bool }
}

// check: VMExecutionFailure
// check: DuplicateModuleName