microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2026-02-27 23:58:38 -06:00
Code Issues Packages Projects Releases 212 Wiki Activity

Add test which would fail if SFT behavior differs in variance checking (#54756)

Browse Source
This commit is contained in:
Wesley Wigham 2023-06-23 15:32:45 -07:00 committed by GitHub
parent de6e6abbac
commit aec9e23781
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 207 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

39
tests/baselines/reference/varianceCantBeStrictWhileStructureIsnt.js Normal file
View File

@ -0,0 +1,39 @@
//// [tests/cases/compiler/varianceCantBeStrictWhileStructureIsnt.ts] ////
//// [varianceCantBeStrictWhileStructureIsnt.ts]
// under non-strict-function-types, all the below should work
interface Foo<T> {
member: (cb: T) => void;
}
interface Bar<T> {
member: (cb: T) => void;
}
declare var a: Foo<string>;
declare var b: Foo<"">;
declare var a2: Bar<string>;
declare var b2: Bar<"">;
a = b;
b = a;
a2 = b2;
b2 = a2;
a = b2;
b = a2;
a2 = b;
b2 = a;
//// [varianceCantBeStrictWhileStructureIsnt.js]
a = b;
b = a;
a2 = b2;
b2 = a2;
a = b2;
b = a2;
a2 = b;
b2 = a;

72
tests/baselines/reference/varianceCantBeStrictWhileStructureIsnt.symbols Normal file
View File

@ -0,0 +1,72 @@
//// [tests/cases/compiler/varianceCantBeStrictWhileStructureIsnt.ts] ////
=== varianceCantBeStrictWhileStructureIsnt.ts ===
// under non-strict-function-types, all the below should work
interface Foo<T> {
>Foo : Symbol(Foo, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 0, 0))
>T : Symbol(T, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 1, 14))
member: (cb: T) => void;
>member : Symbol(Foo.member, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 1, 18))
>cb : Symbol(cb, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 2, 13))
>T : Symbol(T, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 1, 14))
}
interface Bar<T> {
>Bar : Symbol(Bar, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 3, 1))
>T : Symbol(T, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 5, 14))
member: (cb: T) => void;
>member : Symbol(Bar.member, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 5, 18))
>cb : Symbol(cb, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 6, 13))
>T : Symbol(T, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 5, 14))
}
declare var a: Foo<string>;
>a : Symbol(a, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 9, 11))
>Foo : Symbol(Foo, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 0, 0))
declare var b: Foo<"">;
>b : Symbol(b, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 10, 11))
>Foo : Symbol(Foo, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 0, 0))
declare var a2: Bar<string>;
>a2 : Symbol(a2, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 12, 11))
>Bar : Symbol(Bar, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 3, 1))
declare var b2: Bar<"">;
>b2 : Symbol(b2, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 13, 11))
>Bar : Symbol(Bar, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 3, 1))
a = b;
>a : Symbol(a, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 9, 11))
>b : Symbol(b, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 10, 11))
b = a;
>b : Symbol(b, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 10, 11))
>a : Symbol(a, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 9, 11))
a2 = b2;
>a2 : Symbol(a2, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 12, 11))
>b2 : Symbol(b2, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 13, 11))
b2 = a2;
>b2 : Symbol(b2, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 13, 11))
>a2 : Symbol(a2, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 12, 11))
a = b2;
>a : Symbol(a, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 9, 11))
>b2 : Symbol(b2, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 13, 11))
b = a2;
>b : Symbol(b, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 10, 11))
>a2 : Symbol(a2, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 12, 11))
a2 = b;
>a2 : Symbol(a2, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 12, 11))
>b : Symbol(b, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 10, 11))
b2 = a;
>b2 : Symbol(b2, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 13, 11))
>a : Symbol(a, Decl(varianceCantBeStrictWhileStructureIsnt.ts, 9, 11))

68
tests/baselines/reference/varianceCantBeStrictWhileStructureIsnt.types Normal file
View File

@ -0,0 +1,68 @@
//// [tests/cases/compiler/varianceCantBeStrictWhileStructureIsnt.ts] ////
=== varianceCantBeStrictWhileStructureIsnt.ts ===
// under non-strict-function-types, all the below should work
interface Foo<T> {
member: (cb: T) => void;
>member : (cb: T) => void
>cb : T
}
interface Bar<T> {
member: (cb: T) => void;
>member : (cb: T) => void
>cb : T
}
declare var a: Foo<string>;
>a : Foo<string>
declare var b: Foo<"">;
>b : Foo<"">
declare var a2: Bar<string>;
>a2 : Bar<string>
declare var b2: Bar<"">;
>b2 : Bar<"">
a = b;
>a = b : Foo<"">
>a : Foo<string>
>b : Foo<"">
b = a;
>b = a : Foo<string>
>b : Foo<"">
>a : Foo<string>
a2 = b2;
>a2 = b2 : Bar<"">
>a2 : Bar<string>
>b2 : Bar<"">
b2 = a2;
>b2 = a2 : Bar<string>
>b2 : Bar<"">
>a2 : Bar<string>
a = b2;
>a = b2 : Bar<"">
>a : Foo<string>
>b2 : Bar<"">
b = a2;
>b = a2 : Bar<string>
>b : Foo<"">
>a2 : Bar<string>
a2 = b;
>a2 = b : Foo<"">
>a2 : Bar<string>
>b : Foo<"">
b2 = a;
>b2 = a : Foo<string>
>b2 : Bar<"">
>a : Foo<string>

28
tests/cases/compiler/varianceCantBeStrictWhileStructureIsnt.ts Normal file
View File

@ -0,0 +1,28 @@
// @strict: false
// @strictFunctionTypes: false
// under non-strict-function-types, all the below should work
interface Foo<T> {
member: (cb: T) => void;
}
interface Bar<T> {
member: (cb: T) => void;
}
declare var a: Foo<string>;
declare var b: Foo<"">;
declare var a2: Bar<string>;
declare var b2: Bar<"">;
a = b;
b = a;
a2 = b2;
b2 = a2;
a = b2;
b = a2;
a2 = b;
b2 = a;