fix(java): unqualified type cast in pattern dtor

Source/DafnyCore/Compilers/Compiler-java.cs

@@ -2074,7 +2074,7 @@ string DtCtorName(DatatypeCtor ctor) {
       if (dt is TupleTypeDecl tupleDecl) {
         return DafnyTupleClass(tupleDecl.NonGhostDims);
       }
-      var dtName = IdProtect(dt.CompileName);
+      var dtName = IdProtect(dt.FullCompileName);
       return dt.IsRecordType ? dtName : dtName + "_" + ctor.CompileName;
     }
     string DtCreateName(DatatypeCtor ctor) {

Test/git-issues/git-issue-2903.dfy

@@ -0,0 +1,25 @@
+// RUN: %dafny /compile:0 "%s" > "%t"
+// RUN: %dafny /noVerify /compile:4 /spillTargetCode:2 /compileTarget:cs "%s" >> "%t"
+// RUN: %dafny /noVerify /compile:4 /spillTargetCode:2 /compileTarget:js "%s" >> "%t"
+// RUN: %dafny /noVerify /compile:4 /spillTargetCode:2 /compileTarget:go "%s" >> "%t"
+// RUN: %dafny /noVerify /compile:4 /spillTargetCode:2 /compileTarget:java "%s" >> "%t"
+// RUN: %dafny /noVerify /compile:4 /spillTargetCode:2 /compileTarget:py "%s" >> "%t"
+// RUN: %diff "%s.expect" "%t"
+
+module A {
+  datatype Wrapper = Wrap(val: int)
+}
+
+module B {
+  datatype Wrapper = Wrap
+}
+
+module Main {
+  import opened A
+  import B
+
+  method Main() {
+    var Wrap(x) := Wrap(0);
+    expect x == 0;
+  }
+}

Test/git-issues/git-issue-2903.dfy.expect

@@ -0,0 +1,12 @@
+
+Dafny program verifier finished with 0 verified, 0 errors
+
+Dafny program verifier did not attempt verification
+
+Dafny program verifier did not attempt verification
+
+Dafny program verifier did not attempt verification
+
+Dafny program verifier did not attempt verification
+
+Dafny program verifier did not attempt verification