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
|
//// [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
}
interface AList4 {
forEach(cb: (item: A) => A): void;
}
interface BList4 {
forEach(cb: (item: B) => B): void;
}
function f14(a: AList4, b: BList4) {
a = b;
b = a; // Error
}
//// [covariantCallbacks.js]
"use strict";
// 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
}
function f14(a, b) {
a = b;
b = a; // Error
}
|