1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316
|
//// [undefinedIsSubtypeOfEverything.ts]
// undefined is a subtype of every other types, no errors expected below
class Base {
foo: typeof undefined;
}
class D0 extends Base {
foo: any;
}
class DA extends Base {
foo: typeof undefined;
}
class D1 extends Base {
foo: string;
}
class D1A extends Base {
foo: String;
}
class D2 extends Base {
foo: number;
}
class D2A extends Base {
foo: Number;
}
class D3 extends Base {
foo: boolean;
}
class D3A extends Base {
foo: Boolean;
}
class D4 extends Base {
foo: RegExp;
}
class D5 extends Base {
foo: Date;
}
class D6 extends Base {
foo: number[];
}
class D7 extends Base {
foo: { bar: number };
}
class D8 extends Base {
foo: D7;
}
interface I1 {
bar: string;
}
class D9 extends Base {
foo: I1;
}
class D10 extends Base {
foo: () => number;
}
enum E { A }
class D11 extends Base {
foo: E;
}
function f() { }
module f {
export var bar = 1;
}
class D12 extends Base {
foo: typeof f;
}
class c { baz: string }
module c {
export var bar = 1;
}
class D13 extends Base {
foo: typeof c;
}
class D14<T> extends Base {
foo: T;
}
class D15<T, U> extends Base {
foo: U;
}
//class D15<T, U extends T> extends Base {
// foo: U;
//}
class D16 extends Base {
foo: Object;
}
class D17 extends Base {
foo: {};
}
//// [undefinedIsSubtypeOfEverything.js]
// undefined is a subtype of every other types, no errors expected below
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 (b.hasOwnProperty(p)) d[p] = b[p]; };
return extendStatics(d, b);
};
return function (d, b) {
extendStatics(d, b);
function __() { this.constructor = d; }
d.prototype = b === null ? Object.create(b) : (__.prototype = b.prototype, new __());
};
})();
var Base = /** @class */ (function () {
function Base() {
}
return Base;
}());
var D0 = /** @class */ (function (_super) {
__extends(D0, _super);
function D0() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D0;
}(Base));
var DA = /** @class */ (function (_super) {
__extends(DA, _super);
function DA() {
return _super !== null && _super.apply(this, arguments) || this;
}
return DA;
}(Base));
var D1 = /** @class */ (function (_super) {
__extends(D1, _super);
function D1() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D1;
}(Base));
var D1A = /** @class */ (function (_super) {
__extends(D1A, _super);
function D1A() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D1A;
}(Base));
var D2 = /** @class */ (function (_super) {
__extends(D2, _super);
function D2() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D2;
}(Base));
var D2A = /** @class */ (function (_super) {
__extends(D2A, _super);
function D2A() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D2A;
}(Base));
var D3 = /** @class */ (function (_super) {
__extends(D3, _super);
function D3() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D3;
}(Base));
var D3A = /** @class */ (function (_super) {
__extends(D3A, _super);
function D3A() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D3A;
}(Base));
var D4 = /** @class */ (function (_super) {
__extends(D4, _super);
function D4() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D4;
}(Base));
var D5 = /** @class */ (function (_super) {
__extends(D5, _super);
function D5() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D5;
}(Base));
var D6 = /** @class */ (function (_super) {
__extends(D6, _super);
function D6() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D6;
}(Base));
var D7 = /** @class */ (function (_super) {
__extends(D7, _super);
function D7() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D7;
}(Base));
var D8 = /** @class */ (function (_super) {
__extends(D8, _super);
function D8() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D8;
}(Base));
var D9 = /** @class */ (function (_super) {
__extends(D9, _super);
function D9() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D9;
}(Base));
var D10 = /** @class */ (function (_super) {
__extends(D10, _super);
function D10() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D10;
}(Base));
var E;
(function (E) {
E[E["A"] = 0] = "A";
})(E || (E = {}));
var D11 = /** @class */ (function (_super) {
__extends(D11, _super);
function D11() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D11;
}(Base));
function f() { }
(function (f) {
f.bar = 1;
})(f || (f = {}));
var D12 = /** @class */ (function (_super) {
__extends(D12, _super);
function D12() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D12;
}(Base));
var c = /** @class */ (function () {
function c() {
}
return c;
}());
(function (c) {
c.bar = 1;
})(c || (c = {}));
var D13 = /** @class */ (function (_super) {
__extends(D13, _super);
function D13() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D13;
}(Base));
var D14 = /** @class */ (function (_super) {
__extends(D14, _super);
function D14() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D14;
}(Base));
var D15 = /** @class */ (function (_super) {
__extends(D15, _super);
function D15() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D15;
}(Base));
//class D15<T, U extends T> extends Base {
// foo: U;
//}
var D16 = /** @class */ (function (_super) {
__extends(D16, _super);
function D16() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D16;
}(Base));
var D17 = /** @class */ (function (_super) {
__extends(D17, _super);
function D17() {
return _super !== null && _super.apply(this, arguments) || this;
}
return D17;
}(Base));
|