Polymorphic queries -> discriminated union types

integration-tests/lts/dbschema/default.esdl

@@ -26,7 +26,11 @@ module default {
     property character_name -> str;
   }
 
-  abstract type Person {
+  abstract type LivingThing {
+    age: int32;
+  }
+
+  abstract type Person extending LivingThing {
     required property name -> str {
       constraint exclusive;
     };
@@ -40,7 +44,9 @@ module default {
 
   type Hero extending Person {
     property secret_identity -> str;
-    property number_of_movies -> int64;
+    required property number_of_movies -> int64 {
+      default := 0;
+    };
     multi link villains := .<nemesis[IS Villain];
   }
 

integration-tests/lts/dbschema/migrations/00027-m173dds.edgeql

@@ -0,0 +1,8 @@
+CREATE MIGRATION m173ddshjvgy5ampp7rzi2g7cwwdkaljvlifemr5vugnkimtbpp6ca
+    ONTO m1wb2dgjeppqex272zwvqnsdfzdvvppub4iwa5vaxu3xxigyjlruka
+{
+  CREATE ABSTRACT TYPE default::LivingThing {
+      CREATE PROPERTY age: std::int32;
+  };
+  ALTER TYPE default::Person EXTENDING default::LivingThing LAST;
+};

integration-tests/lts/dbschema/migrations/00028-m1cigpn.edgeql

@@ -0,0 +1,10 @@
+CREATE MIGRATION m1cigpnllpzucl3lckxtsfnozf6zbyagfakqal7ejkc3sd2ocj4efa
+    ONTO m173ddshjvgy5ampp7rzi2g7cwwdkaljvlifemr5vugnkimtbpp6ca
+{
+  ALTER TYPE default::Hero {
+      ALTER PROPERTY number_of_movies {
+          SET default := 0;
+          SET REQUIRED USING (0);
+      };
+  };
+};

integration-tests/lts/interfaces.test.ts

@@ -23,6 +23,7 @@ export interface BaseObject {
 }
 export interface test_Person extends BaseObject {
   name: string;
+  age?: number | null;
   height?: string | null;
   isAdult?: boolean | null;
 }

integration-tests/lts/objectTypes.test.ts

@@ -205,6 +205,7 @@ describe("object types", () => {
       assert.deepEqual(hero["*"], {
         id: true,
         name: true,
+        age: true,
         height: true,
         isAdult: true,
         secret_identity: true,

integration-tests/lts/paths.test.ts

@@ -56,12 +56,12 @@ describe("paths", () => {
     );
     assert.deepEqual(
       AtLeastOneHero.number_of_movies.__cardinality__,
-      $.Cardinality.Many,
+      $.Cardinality.AtLeastOne,
     );
     tc.assert<
       tc.IsExact<
         AtLeastOneHero["number_of_movies"]["__cardinality__"],
-        $.Cardinality.Many
+        $.Cardinality.AtLeastOne
       >
     >(true);