Add test

Author: jakebailey

tests/baselines/reference/relatedViaDiscriminatedTypeNoError.errors.txt

@@ -0,0 +1,21 @@
+tests/cases/compiler/relatedViaDiscriminatedTypeNoError.ts(10,19): error TS2322: Type 'Model' is not assignable to type '{ flag: false; }'.
+  Types of property 'flag' are incompatible.
+    Type 'boolean' is not assignable to type 'false'.
+
+
+==== tests/cases/compiler/relatedViaDiscriminatedTypeNoError.ts (1 errors) ====
+    class Model {
+        constructor(public flag: boolean) {}
+    }
+    
+    type DiscriminatedUnion = { flag: true } | { flag: false };
+    class A<T extends DiscriminatedUnion> {
+        constructor(public model: T) { }
+    }
+    
+    class B extends A<Model> { }
+                      ~~~~~
+!!! error TS2322: Type 'Model' is not assignable to type '{ flag: false; }'.
+!!! error TS2322:   Types of property 'flag' are incompatible.
+!!! error TS2322:     Type 'boolean' is not assignable to type 'false'.
+    

tests/baselines/reference/relatedViaDiscriminatedTypeNoError.js

@@ -0,0 +1,48 @@
+//// [relatedViaDiscriminatedTypeNoError.ts]
+class Model {
+    constructor(public flag: boolean) {}
+}
+
+type DiscriminatedUnion = { flag: true } | { flag: false };
+class A<T extends DiscriminatedUnion> {
+    constructor(public model: T) { }
+}
+
+class B extends A<Model> { }
+
+
+//// [relatedViaDiscriminatedTypeNoError.js]
+var __extends = (this && this.__extends) || (function () {
+    var extendStatics = function (d, b) {
+        extendStatics = Object.setPrototypeOf ||
+            ({ __proto__: [] } instanceof Array && function (d, b) { d.__proto__ = b; }) ||
+            function (d, b) { for (var p in b) if (Object.prototype.hasOwnProperty.call(b, p)) d[p] = b[p]; };
+        return extendStatics(d, b);
+    };
+    return function (d, b) {
+        if (typeof b !== "function" && b !== null)
+            throw new TypeError("Class extends value " + String(b) + " is not a constructor or null");
+        extendStatics(d, b);
+        function __() { this.constructor = d; }
+        d.prototype = b === null ? Object.create(b) : (__.prototype = b.prototype, new __());
+    };
+})();
+var Model = /** @class */ (function () {
+    function Model(flag) {
+        this.flag = flag;
+    }
+    return Model;
+}());
+var A = /** @class */ (function () {
+    function A(model) {
+        this.model = model;
+    }
+    return A;
+}());
+var B = /** @class */ (function (_super) {
+    __extends(B, _super);
+    function B() {
+        return _super !== null && _super.apply(this, arguments) || this;
+    }
+    return B;
+}(A));

tests/baselines/reference/relatedViaDiscriminatedTypeNoError.symbols

@@ -0,0 +1,28 @@
+=== tests/cases/compiler/relatedViaDiscriminatedTypeNoError.ts ===
+class Model {
+>Model : Symbol(Model, Decl(relatedViaDiscriminatedTypeNoError.ts, 0, 0))
+
+    constructor(public flag: boolean) {}
+>flag : Symbol(Model.flag, Decl(relatedViaDiscriminatedTypeNoError.ts, 1, 16))
+}
+
+type DiscriminatedUnion = { flag: true } | { flag: false };
+>DiscriminatedUnion : Symbol(DiscriminatedUnion, Decl(relatedViaDiscriminatedTypeNoError.ts, 2, 1))
+>flag : Symbol(flag, Decl(relatedViaDiscriminatedTypeNoError.ts, 4, 27))
+>flag : Symbol(flag, Decl(relatedViaDiscriminatedTypeNoError.ts, 4, 44))
+
+class A<T extends DiscriminatedUnion> {
+>A : Symbol(A, Decl(relatedViaDiscriminatedTypeNoError.ts, 4, 59))
+>T : Symbol(T, Decl(relatedViaDiscriminatedTypeNoError.ts, 5, 8))
+>DiscriminatedUnion : Symbol(DiscriminatedUnion, Decl(relatedViaDiscriminatedTypeNoError.ts, 2, 1))
+
+    constructor(public model: T) { }
+>model : Symbol(A.model, Decl(relatedViaDiscriminatedTypeNoError.ts, 6, 16))
+>T : Symbol(T, Decl(relatedViaDiscriminatedTypeNoError.ts, 5, 8))
+}
+
+class B extends A<Model> { }
+>B : Symbol(B, Decl(relatedViaDiscriminatedTypeNoError.ts, 7, 1))
+>A : Symbol(A, Decl(relatedViaDiscriminatedTypeNoError.ts, 4, 59))
+>Model : Symbol(Model, Decl(relatedViaDiscriminatedTypeNoError.ts, 0, 0))
+

tests/baselines/reference/relatedViaDiscriminatedTypeNoError.types

@@ -0,0 +1,26 @@
+=== tests/cases/compiler/relatedViaDiscriminatedTypeNoError.ts ===
+class Model {
+>Model : Model
+
+    constructor(public flag: boolean) {}
+>flag : boolean
+}
+
+type DiscriminatedUnion = { flag: true } | { flag: false };
+>DiscriminatedUnion : { flag: true; } | { flag: false; }
+>flag : true
+>true : true
+>flag : false
+>false : false
+
+class A<T extends DiscriminatedUnion> {
+>A : A<T>
+
+    constructor(public model: T) { }
+>model : T
+}
+
+class B extends A<Model> { }
+>B : B
+>A : A<Model>
+

tests/cases/compiler/relatedViaDiscriminatedTypeNoError.ts

@@ -0,0 +1,10 @@
+class Model {
+    constructor(public flag: boolean) {}
+}
+
+type DiscriminatedUnion = { flag: true } | { flag: false };
+class A<T extends DiscriminatedUnion> {
+    constructor(public model: T) { }
+}
+
+class B extends A<Model> { }