Add tests
This commit is contained in:
parent
c8d5260914
commit
7fcf51960d
5 changed files with 267 additions and 3 deletions
|
@ -94,9 +94,17 @@ tests/cases/compiler/strictFunctionTypesErrors.ts(134,1): error TS2322: Type '(f
|
|||
Types of parameters 'f' and 'f' are incompatible.
|
||||
Types of parameters 'x' and 'x' are incompatible.
|
||||
Type 'Animal' is not assignable to type 'Dog'.
|
||||
tests/cases/compiler/strictFunctionTypesErrors.ts(147,5): error TS2322: Type '(cb: (x: Animal) => Animal) => void' is not assignable to type '(cb: (x: Dog) => Animal) => void'.
|
||||
Types of parameters 'cb' and 'cb' are incompatible.
|
||||
Types of parameters 'x' and 'x' are incompatible.
|
||||
Type 'Animal' is not assignable to type 'Dog'.
|
||||
tests/cases/compiler/strictFunctionTypesErrors.ts(155,5): error TS2322: Type '(cb: (x: Animal) => Animal) => void' is not assignable to type '(cb: (x: Dog) => Animal) => void'.
|
||||
Types of parameters 'cb' and 'cb' are incompatible.
|
||||
Types of parameters 'x' and 'x' are incompatible.
|
||||
Type 'Animal' is not assignable to type 'Dog'.
|
||||
|
||||
|
||||
==== tests/cases/compiler/strictFunctionTypesErrors.ts (33 errors) ====
|
||||
==== tests/cases/compiler/strictFunctionTypesErrors.ts (35 errors) ====
|
||||
export {}
|
||||
|
||||
|
||||
|
@ -361,3 +369,34 @@ tests/cases/compiler/strictFunctionTypesErrors.ts(134,1): error TS2322: Type '(f
|
|||
!!! error TS2322: Types of parameters 'x' and 'x' are incompatible.
|
||||
!!! error TS2322: Type 'Animal' is not assignable to type 'Dog'.
|
||||
|
||||
// Verify that callback parameters aren't loosely checked when types
|
||||
// originate in method declarations
|
||||
|
||||
namespace n1 {
|
||||
class Foo {
|
||||
static f1(x: Animal): Animal { throw "wat"; }
|
||||
static f2(x: Dog): Animal { throw "wat"; };
|
||||
}
|
||||
declare let f1: (cb: typeof Foo.f1) => void;
|
||||
declare let f2: (cb: typeof Foo.f2) => void;
|
||||
f1 = f2;
|
||||
f2 = f1; // Error
|
||||
~~
|
||||
!!! error TS2322: Type '(cb: (x: Animal) => Animal) => void' is not assignable to type '(cb: (x: Dog) => Animal) => void'.
|
||||
!!! error TS2322: Types of parameters 'cb' and 'cb' are incompatible.
|
||||
!!! error TS2322: Types of parameters 'x' and 'x' are incompatible.
|
||||
!!! error TS2322: Type 'Animal' is not assignable to type 'Dog'.
|
||||
}
|
||||
|
||||
namespace n2 {
|
||||
type BivariantHack<Input, Output> = { foo(x: Input): Output }["foo"];
|
||||
declare let f1: (cb: BivariantHack<Animal, Animal>) => void;
|
||||
declare let f2: (cb: BivariantHack<Dog, Animal>) => void;
|
||||
f1 = f2;
|
||||
f2 = f1; // Error
|
||||
~~
|
||||
!!! error TS2322: Type '(cb: (x: Animal) => Animal) => void' is not assignable to type '(cb: (x: Dog) => Animal) => void'.
|
||||
!!! error TS2322: Types of parameters 'cb' and 'cb' are incompatible.
|
||||
!!! error TS2322: Types of parameters 'x' and 'x' are incompatible.
|
||||
!!! error TS2322: Type 'Animal' is not assignable to type 'Dog'.
|
||||
}
|
|
@ -134,6 +134,27 @@ declare let fc2: (f: (x: Dog) => Dog) => void;
|
|||
fc1 = fc2; // Error
|
||||
fc2 = fc1; // Error
|
||||
|
||||
// Verify that callback parameters aren't loosely checked when types
|
||||
// originate in method declarations
|
||||
|
||||
namespace n1 {
|
||||
class Foo {
|
||||
static f1(x: Animal): Animal { throw "wat"; }
|
||||
static f2(x: Dog): Animal { throw "wat"; };
|
||||
}
|
||||
declare let f1: (cb: typeof Foo.f1) => void;
|
||||
declare let f2: (cb: typeof Foo.f2) => void;
|
||||
f1 = f2;
|
||||
f2 = f1; // Error
|
||||
}
|
||||
|
||||
namespace n2 {
|
||||
type BivariantHack<Input, Output> = { foo(x: Input): Output }["foo"];
|
||||
declare let f1: (cb: BivariantHack<Animal, Animal>) => void;
|
||||
declare let f2: (cb: BivariantHack<Dog, Animal>) => void;
|
||||
f1 = f2;
|
||||
f2 = f1; // Error
|
||||
}
|
||||
|
||||
//// [strictFunctionTypesErrors.js]
|
||||
"use strict";
|
||||
|
@ -195,3 +216,23 @@ animalCrate = dogCrate; // Error
|
|||
dogCrate = animalCrate; // Error
|
||||
fc1 = fc2; // Error
|
||||
fc2 = fc1; // Error
|
||||
// Verify that callback parameters aren't loosely checked when types
|
||||
// originate in method declarations
|
||||
var n1;
|
||||
(function (n1) {
|
||||
var Foo = /** @class */ (function () {
|
||||
function Foo() {
|
||||
}
|
||||
Foo.f1 = function (x) { throw "wat"; };
|
||||
Foo.f2 = function (x) { throw "wat"; };
|
||||
;
|
||||
return Foo;
|
||||
}());
|
||||
f1 = f2;
|
||||
f2 = f1; // Error
|
||||
})(n1 || (n1 = {}));
|
||||
var n2;
|
||||
(function (n2) {
|
||||
f1 = f2;
|
||||
f2 = f1; // Error
|
||||
})(n2 || (n2 = {}));
|
||||
|
|
|
@ -424,3 +424,81 @@ fc2 = fc1; // Error
|
|||
>fc2 : Symbol(fc2, Decl(strictFunctionTypesErrors.ts, 131, 11))
|
||||
>fc1 : Symbol(fc1, Decl(strictFunctionTypesErrors.ts, 130, 11))
|
||||
|
||||
// Verify that callback parameters aren't loosely checked when types
|
||||
// originate in method declarations
|
||||
|
||||
namespace n1 {
|
||||
>n1 : Symbol(n1, Decl(strictFunctionTypesErrors.ts, 133, 10))
|
||||
|
||||
class Foo {
|
||||
>Foo : Symbol(Foo, Decl(strictFunctionTypesErrors.ts, 138, 14))
|
||||
|
||||
static f1(x: Animal): Animal { throw "wat"; }
|
||||
>f1 : Symbol(Foo.f1, Decl(strictFunctionTypesErrors.ts, 139, 15))
|
||||
>x : Symbol(x, Decl(strictFunctionTypesErrors.ts, 140, 18))
|
||||
>Animal : Symbol(Animal, Decl(strictFunctionTypesErrors.ts, 87, 8))
|
||||
>Animal : Symbol(Animal, Decl(strictFunctionTypesErrors.ts, 87, 8))
|
||||
|
||||
static f2(x: Dog): Animal { throw "wat"; };
|
||||
>f2 : Symbol(Foo.f2, Decl(strictFunctionTypesErrors.ts, 140, 53))
|
||||
>x : Symbol(x, Decl(strictFunctionTypesErrors.ts, 141, 18))
|
||||
>Dog : Symbol(Dog, Decl(strictFunctionTypesErrors.ts, 89, 33))
|
||||
>Animal : Symbol(Animal, Decl(strictFunctionTypesErrors.ts, 87, 8))
|
||||
}
|
||||
declare let f1: (cb: typeof Foo.f1) => void;
|
||||
>f1 : Symbol(f1, Decl(strictFunctionTypesErrors.ts, 143, 15))
|
||||
>cb : Symbol(cb, Decl(strictFunctionTypesErrors.ts, 143, 21))
|
||||
>Foo.f1 : Symbol(Foo.f1, Decl(strictFunctionTypesErrors.ts, 139, 15))
|
||||
>Foo : Symbol(Foo, Decl(strictFunctionTypesErrors.ts, 138, 14))
|
||||
>f1 : Symbol(Foo.f1, Decl(strictFunctionTypesErrors.ts, 139, 15))
|
||||
|
||||
declare let f2: (cb: typeof Foo.f2) => void;
|
||||
>f2 : Symbol(f2, Decl(strictFunctionTypesErrors.ts, 144, 15))
|
||||
>cb : Symbol(cb, Decl(strictFunctionTypesErrors.ts, 144, 21))
|
||||
>Foo.f2 : Symbol(Foo.f2, Decl(strictFunctionTypesErrors.ts, 140, 53))
|
||||
>Foo : Symbol(Foo, Decl(strictFunctionTypesErrors.ts, 138, 14))
|
||||
>f2 : Symbol(Foo.f2, Decl(strictFunctionTypesErrors.ts, 140, 53))
|
||||
|
||||
f1 = f2;
|
||||
>f1 : Symbol(f1, Decl(strictFunctionTypesErrors.ts, 143, 15))
|
||||
>f2 : Symbol(f2, Decl(strictFunctionTypesErrors.ts, 144, 15))
|
||||
|
||||
f2 = f1; // Error
|
||||
>f2 : Symbol(f2, Decl(strictFunctionTypesErrors.ts, 144, 15))
|
||||
>f1 : Symbol(f1, Decl(strictFunctionTypesErrors.ts, 143, 15))
|
||||
}
|
||||
|
||||
namespace n2 {
|
||||
>n2 : Symbol(n2, Decl(strictFunctionTypesErrors.ts, 147, 1))
|
||||
|
||||
type BivariantHack<Input, Output> = { foo(x: Input): Output }["foo"];
|
||||
>BivariantHack : Symbol(BivariantHack, Decl(strictFunctionTypesErrors.ts, 149, 14))
|
||||
>Input : Symbol(Input, Decl(strictFunctionTypesErrors.ts, 150, 23))
|
||||
>Output : Symbol(Output, Decl(strictFunctionTypesErrors.ts, 150, 29))
|
||||
>foo : Symbol(foo, Decl(strictFunctionTypesErrors.ts, 150, 41))
|
||||
>x : Symbol(x, Decl(strictFunctionTypesErrors.ts, 150, 46))
|
||||
>Input : Symbol(Input, Decl(strictFunctionTypesErrors.ts, 150, 23))
|
||||
>Output : Symbol(Output, Decl(strictFunctionTypesErrors.ts, 150, 29))
|
||||
|
||||
declare let f1: (cb: BivariantHack<Animal, Animal>) => void;
|
||||
>f1 : Symbol(f1, Decl(strictFunctionTypesErrors.ts, 151, 15))
|
||||
>cb : Symbol(cb, Decl(strictFunctionTypesErrors.ts, 151, 21))
|
||||
>BivariantHack : Symbol(BivariantHack, Decl(strictFunctionTypesErrors.ts, 149, 14))
|
||||
>Animal : Symbol(Animal, Decl(strictFunctionTypesErrors.ts, 87, 8))
|
||||
>Animal : Symbol(Animal, Decl(strictFunctionTypesErrors.ts, 87, 8))
|
||||
|
||||
declare let f2: (cb: BivariantHack<Dog, Animal>) => void;
|
||||
>f2 : Symbol(f2, Decl(strictFunctionTypesErrors.ts, 152, 15))
|
||||
>cb : Symbol(cb, Decl(strictFunctionTypesErrors.ts, 152, 21))
|
||||
>BivariantHack : Symbol(BivariantHack, Decl(strictFunctionTypesErrors.ts, 149, 14))
|
||||
>Dog : Symbol(Dog, Decl(strictFunctionTypesErrors.ts, 89, 33))
|
||||
>Animal : Symbol(Animal, Decl(strictFunctionTypesErrors.ts, 87, 8))
|
||||
|
||||
f1 = f2;
|
||||
>f1 : Symbol(f1, Decl(strictFunctionTypesErrors.ts, 151, 15))
|
||||
>f2 : Symbol(f2, Decl(strictFunctionTypesErrors.ts, 152, 15))
|
||||
|
||||
f2 = f1; // Error
|
||||
>f2 : Symbol(f2, Decl(strictFunctionTypesErrors.ts, 152, 15))
|
||||
>f1 : Symbol(f1, Decl(strictFunctionTypesErrors.ts, 151, 15))
|
||||
}
|
||||
|
|
|
@ -480,3 +480,87 @@ fc2 = fc1; // Error
|
|||
>fc2 : (f: (x: Dog) => Dog) => void
|
||||
>fc1 : (f: (x: Animal) => Animal) => void
|
||||
|
||||
// Verify that callback parameters aren't loosely checked when types
|
||||
// originate in method declarations
|
||||
|
||||
namespace n1 {
|
||||
>n1 : typeof n1
|
||||
|
||||
class Foo {
|
||||
>Foo : Foo
|
||||
|
||||
static f1(x: Animal): Animal { throw "wat"; }
|
||||
>f1 : (x: Animal) => Animal
|
||||
>x : Animal
|
||||
>Animal : Animal
|
||||
>Animal : Animal
|
||||
>"wat" : "wat"
|
||||
|
||||
static f2(x: Dog): Animal { throw "wat"; };
|
||||
>f2 : (x: Dog) => Animal
|
||||
>x : Dog
|
||||
>Dog : Dog
|
||||
>Animal : Animal
|
||||
>"wat" : "wat"
|
||||
}
|
||||
declare let f1: (cb: typeof Foo.f1) => void;
|
||||
>f1 : (cb: (x: Animal) => Animal) => void
|
||||
>cb : (x: Animal) => Animal
|
||||
>Foo.f1 : (x: Animal) => Animal
|
||||
>Foo : typeof Foo
|
||||
>f1 : (x: Animal) => Animal
|
||||
|
||||
declare let f2: (cb: typeof Foo.f2) => void;
|
||||
>f2 : (cb: (x: Dog) => Animal) => void
|
||||
>cb : (x: Dog) => Animal
|
||||
>Foo.f2 : (x: Dog) => Animal
|
||||
>Foo : typeof Foo
|
||||
>f2 : (x: Dog) => Animal
|
||||
|
||||
f1 = f2;
|
||||
>f1 = f2 : (cb: (x: Dog) => Animal) => void
|
||||
>f1 : (cb: (x: Animal) => Animal) => void
|
||||
>f2 : (cb: (x: Dog) => Animal) => void
|
||||
|
||||
f2 = f1; // Error
|
||||
>f2 = f1 : (cb: (x: Animal) => Animal) => void
|
||||
>f2 : (cb: (x: Dog) => Animal) => void
|
||||
>f1 : (cb: (x: Animal) => Animal) => void
|
||||
}
|
||||
|
||||
namespace n2 {
|
||||
>n2 : typeof n2
|
||||
|
||||
type BivariantHack<Input, Output> = { foo(x: Input): Output }["foo"];
|
||||
>BivariantHack : (x: Input) => Output
|
||||
>Input : Input
|
||||
>Output : Output
|
||||
>foo : (x: Input) => Output
|
||||
>x : Input
|
||||
>Input : Input
|
||||
>Output : Output
|
||||
|
||||
declare let f1: (cb: BivariantHack<Animal, Animal>) => void;
|
||||
>f1 : (cb: (x: Animal) => Animal) => void
|
||||
>cb : (x: Animal) => Animal
|
||||
>BivariantHack : (x: Input) => Output
|
||||
>Animal : Animal
|
||||
>Animal : Animal
|
||||
|
||||
declare let f2: (cb: BivariantHack<Dog, Animal>) => void;
|
||||
>f2 : (cb: (x: Dog) => Animal) => void
|
||||
>cb : (x: Dog) => Animal
|
||||
>BivariantHack : (x: Input) => Output
|
||||
>Dog : Dog
|
||||
>Animal : Animal
|
||||
|
||||
f1 = f2;
|
||||
>f1 = f2 : (cb: (x: Dog) => Animal) => void
|
||||
>f1 : (cb: (x: Animal) => Animal) => void
|
||||
>f2 : (cb: (x: Dog) => Animal) => void
|
||||
|
||||
f2 = f1; // Error
|
||||
>f2 = f1 : (cb: (x: Animal) => Animal) => void
|
||||
>f2 : (cb: (x: Dog) => Animal) => void
|
||||
>f1 : (cb: (x: Animal) => Animal) => void
|
||||
}
|
||||
|
|
|
@ -133,3 +133,25 @@ declare let fc1: (f: (x: Animal) => Animal) => void;
|
|||
declare let fc2: (f: (x: Dog) => Dog) => void;
|
||||
fc1 = fc2; // Error
|
||||
fc2 = fc1; // Error
|
||||
|
||||
// Verify that callback parameters aren't loosely checked when types
|
||||
// originate in method declarations
|
||||
|
||||
namespace n1 {
|
||||
class Foo {
|
||||
static f1(x: Animal): Animal { throw "wat"; }
|
||||
static f2(x: Dog): Animal { throw "wat"; };
|
||||
}
|
||||
declare let f1: (cb: typeof Foo.f1) => void;
|
||||
declare let f2: (cb: typeof Foo.f2) => void;
|
||||
f1 = f2;
|
||||
f2 = f1; // Error
|
||||
}
|
||||
|
||||
namespace n2 {
|
||||
type BivariantHack<Input, Output> = { foo(x: Input): Output }["foo"];
|
||||
declare let f1: (cb: BivariantHack<Animal, Animal>) => void;
|
||||
declare let f2: (cb: BivariantHack<Dog, Animal>) => void;
|
||||
f1 = f2;
|
||||
f2 = f1; // Error
|
||||
}
|
Loading…
Reference in a new issue