Ascriptions in type constructors shall be checked as well

engine/runtime/src/test/java/org/enso/interpreter/test/SignatureTest.java

@@ -60,4 +60,25 @@ public void wrongAscribedTypeSignature() throws Exception {
       assertTrue("It is a syntax error exception", e.isSyntaxError());
     }
   }
+
+  @Test
+  public void wrongAscribedInConstructor() throws Exception {
+    final URI uri = new URI("memory://constructor.enso");
+    final Source src = Source.newBuilder("enso", """
+    type Neg
+      Val (a : Xyz)
+
+    neg = Neg.Val 10
+    """, uri.getHost())
+            .uri(uri)
+            .buildLiteral();
+
+    try {
+      var module = ctx.eval(src);
+      var neg = module.invokeMember("eval_expression", "neg");
+      fail("Expecting an exception from compilation, not: " + neg);
+    } catch (PolyglotException e) {
+      assertTrue("It is a syntax error exception", e.isSyntaxError());
+    }
+  }
 }