File: covariantCallbacks.js

package info (click to toggle)
node-typescript 3.3.3333-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 324,548 kB
  • sloc: makefile: 6; sh: 3
file content (101 lines) | stat: -rw-r--r-- 1,624 bytes parent folder | download | duplicates (5)
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
}