maxmustermann/TypeScript
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Add tests

Browse source
This commit is contained in:
Anders Hejlsberg 2017-04-08 14:19:25 -07:00
parent 11543d7369
commit 50f84b12a2
3 changed files with 246 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

105
tests/baselines/reference/covariantCallbacks.errors.txt Normal file
View file

@ -0,0 +1,105 @@
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/covariantCallbacks.ts(12,5): error TS2322: Type 'P<A>' is not assignable to type 'P<B>'.
Type 'A' is not assignable to type 'B'.
Property 'b' is missing in type 'A'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/covariantCallbacks.ts(17,5): error TS2322: Type 'Promise<A>' is not assignable to type 'Promise<B>'.
Type 'A' is not assignable to type 'B'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/covariantCallbacks.ts(30,5): error TS2322: Type 'AList1' is not assignable to type 'BList1'.
Types of property 'forEach' are incompatible.
Type '(cb: (item: A) => void) => void' is not assignable to type '(cb: (item: B) => void) => void'.
Types of parameters 'cb' and 'cb' are incompatible.
Types of parameters 'item' and 'item' are incompatible.
Type 'A' is not assignable to type 'B'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/covariantCallbacks.ts(43,5): error TS2322: Type 'AList2' is not assignable to type 'BList2'.
Types of property 'forEach' are incompatible.
Type '(cb: (item: A) => boolean) => void' is not assignable to type '(cb: (item: A) => void) => void'.
Types of parameters 'cb' and 'cb' are incompatible.
Type 'void' is not assignable to type 'boolean'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/covariantCallbacks.ts(56,5): error TS2322: Type 'AList3' is not assignable to type 'BList3'.
Types of property 'forEach' are incompatible.
Type '(cb: (item: A) => void) => void' is not assignable to type '(cb: (item: A, context: any) => void) => void'.
Types of parameters 'cb' and 'cb' are incompatible.
==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/covariantCallbacks.ts (5 errors) ====
// Test that callback parameters are related covariantly
interface P<T> {
then(cb: (value: T) => void): void;
};
interface A { a: string }
interface B extends A { b: string }
function f1(a: P<A>, b: P<B>) {
a = b;
b = a; // Error
~
!!! error TS2322: Type 'P<A>' is not assignable to type 'P<B>'.
!!! error TS2322: Type 'A' is not assignable to type 'B'.
!!! error TS2322: Property 'b' is missing in type 'A'.
}
function f2(a: Promise<A>, b: Promise<B>) {
a = b;
b = a; // Error
~
!!! error TS2322: Type 'Promise<A>' is not assignable to type 'Promise<B>'.
!!! error TS2322: Type 'A' is not assignable to type 'B'.
}
interface AList1 {
forEach(cb: (item: A) => void): void;
}
interface BList1 {
forEach(cb: (item: B) => void): void;
}
function f11(a: AList1, b: BList1) {
a = b;
b = a; // Error
~
!!! error TS2322: Type 'AList1' is not assignable to type 'BList1'.
!!! error TS2322: Types of property 'forEach' are incompatible.
!!! error TS2322: Type '(cb: (item: A) => void) => void' is not assignable to type '(cb: (item: B) => void) => void'.
!!! error TS2322: Types of parameters 'cb' and 'cb' are incompatible.
!!! error TS2322: Types of parameters 'item' and 'item' are incompatible.
!!! error TS2322: Type 'A' is not assignable to type 'B'.
}
interface AList2 {
forEach(cb: (item: A) => boolean): void;
}
interface BList2 {
forEach(cb: (item: A) => void): void;
}
function f12(a: AList2, b: BList2) {
a = b;
b = a; // Error
~
!!! error TS2322: Type 'AList2' is not assignable to type 'BList2'.
!!! error TS2322: Types of property 'forEach' are incompatible.
!!! error TS2322: Type '(cb: (item: A) => boolean) => void' is not assignable to type '(cb: (item: A) => void) => void'.
!!! error TS2322: Types of parameters 'cb' and 'cb' are incompatible.
!!! error TS2322: Type 'void' is not assignable to type 'boolean'.
}
interface AList3 {
forEach(cb: (item: A) => void): void;
}
interface BList3 {
forEach(cb: (item: A, context: any) => void): void;
}
function f13(a: AList3, b: BList3) {
a = b;
b = a; // Error
~
!!! error TS2322: Type 'AList3' is not assignable to type 'BList3'.
!!! error TS2322: Types of property 'forEach' are incompatible.
!!! error TS2322: Type '(cb: (item: A) => void) => void' is not assignable to type '(cb: (item: A, context: any) => void) => void'.
!!! error TS2322: Types of parameters 'cb' and 'cb' are incompatible.
}

82
tests/baselines/reference/covariantCallbacks.js Normal file
View file

@ -0,0 +1,82 @@
//// [covariantCallbacks.ts]
// Test that callback parameters are related covariantly
interface P<T> {
then(cb: (value: T) => void): void;
};
interface A { a: string }
interface B extends A { b: string }
function f1(a: P<A>, b: P<B>) {
a = b;
b = a; // Error
}
function f2(a: Promise<A>, b: Promise<B>) {
a = b;
b = a; // Error
}
interface AList1 {
forEach(cb: (item: A) => void): void;
}
interface BList1 {
forEach(cb: (item: B) => void): void;
}
function f11(a: AList1, b: BList1) {
a = b;
b = a; // Error
}
interface AList2 {
forEach(cb: (item: A) => boolean): void;
}
interface BList2 {
forEach(cb: (item: A) => void): void;
}
function f12(a: AList2, b: BList2) {
a = b;
b = a; // Error
}
interface AList3 {
forEach(cb: (item: A) => void): void;
}
interface BList3 {
forEach(cb: (item: A, context: any) => void): void;
}
function f13(a: AList3, b: BList3) {
a = b;
b = a; // Error
}
//// [covariantCallbacks.js]
// Test that callback parameters are related covariantly
;
function f1(a, b) {
a = b;
b = a; // Error
}
function f2(a, b) {
a = b;
b = a; // Error
}
function f11(a, b) {
a = b;
b = a; // Error
}
function f12(a, b) {
a = b;
b = a; // Error
}
function f13(a, b) {
a = b;
b = a; // Error
}

59
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/covariantCallbacks.ts Normal file
View file

@ -0,0 +1,59 @@
// @target: es2015
// Test that callback parameters are related covariantly
interface P<T> {
then(cb: (value: T) => void): void;
};
interface A { a: string }
interface B extends A { b: string }
function f1(a: P<A>, b: P<B>) {
a = b;
b = a; // Error
}
function f2(a: Promise<A>, b: Promise<B>) {
a = b;
b = a; // Error
}
interface AList1 {
forEach(cb: (item: A) => void): void;
}
interface BList1 {
forEach(cb: (item: B) => void): void;
}
function f11(a: AList1, b: BList1) {
a = b;
b = a; // Error
}
interface AList2 {
forEach(cb: (item: A) => boolean): void;
}
interface BList2 {
forEach(cb: (item: A) => void): void;
}
function f12(a: AList2, b: BList2) {
a = b;
b = a; // Error
}
interface AList3 {
forEach(cb: (item: A) => void): void;
}
interface BList3 {
forEach(cb: (item: A, context: any) => void): void;
}
function f13(a: AList3, b: BList3) {
a = b;
b = a; // Error
}