mirror of
https://github.com/microsoft/TypeScript.git
synced 2025-11-18 17:21:48 +00:00
Accept new baselines
This commit is contained in:
committed by
Mohamed Hegazy
parent
205653adde
commit
fb484c0d65
@@ -86,7 +86,7 @@ interface Foo {
|
||||
}
|
||||
|
||||
function foo<T extends Foo | T["hello"]>() {
|
||||
>foo : <T extends Foo | T["hello"]>() => void
|
||||
>foo : <T>() => void
|
||||
>T : T
|
||||
>Foo : Foo
|
||||
>T : T
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
=== tests/cases/compiler/incorrectRecursiveMappedTypeConstraint.ts ===
|
||||
// #17847
|
||||
function sum<T extends { [P in T]: number }, K extends keyof T>(n: number, v: T, k: K) {
|
||||
>sum : <T extends { [x: string]: number; }, K extends keyof T>(n: number, v: T, k: K) => void
|
||||
>sum : <T, K extends keyof T>(n: number, v: T, k: K) => void
|
||||
>T : T
|
||||
>P : P
|
||||
>T : T
|
||||
|
||||
@@ -24,18 +24,18 @@ interface I2<T, U extends U> { }
|
||||
>U : U
|
||||
|
||||
function f<T extends T>() { }
|
||||
>f : <T extends T>() => void
|
||||
>f : <T>() => void
|
||||
>T : T
|
||||
>T : T
|
||||
|
||||
function f2<T, U extends U>() { }
|
||||
>f2 : <T, U extends U>() => void
|
||||
>f2 : <T, U>() => void
|
||||
>T : T
|
||||
>U : U
|
||||
>U : U
|
||||
|
||||
var a: {
|
||||
>a : { <T extends T>(): void; <T, U extends U>(): void; }
|
||||
>a : { <T>(): void; <T, U>(): void; }
|
||||
|
||||
<T extends T>(): void;
|
||||
>T : T
|
||||
@@ -48,14 +48,14 @@ var a: {
|
||||
}
|
||||
|
||||
var b = <T extends T>() => { }
|
||||
>b : <T extends T>() => void
|
||||
><T extends T>() => { } : <T extends T>() => void
|
||||
>b : <T>() => void
|
||||
><T extends T>() => { } : <T>() => void
|
||||
>T : T
|
||||
>T : T
|
||||
|
||||
var b2 = <T, U extends U>() => { }
|
||||
>b2 : <T, U extends U>() => void
|
||||
><T, U extends U>() => { } : <T, U extends U>() => void
|
||||
>b2 : <T, U>() => void
|
||||
><T, U extends U>() => { } : <T, U>() => void
|
||||
>T : T
|
||||
>U : U
|
||||
>U : U
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
=== tests/cases/compiler/typeParameterHasSelfAsConstraint.ts ===
|
||||
function foo<T extends T>(x: T): number {
|
||||
>foo : <T extends T>(x: T) => number
|
||||
>foo : <T>(x: T) => number
|
||||
>T : T
|
||||
>T : T
|
||||
>x : T
|
||||
|
||||
@@ -32,14 +32,14 @@ interface I2<T extends U, U extends V, V extends T> { }
|
||||
>T : T
|
||||
|
||||
function f<U extends T, T extends U>() { }
|
||||
>f : <U extends T, T extends U>() => void
|
||||
>f : <U, T>() => void
|
||||
>U : U
|
||||
>T : T
|
||||
>T : T
|
||||
>U : U
|
||||
|
||||
function f2<T extends U, U extends V, V extends T>() { }
|
||||
>f2 : <T extends U, U extends V, V extends T>() => void
|
||||
>f2 : <T, U, V>() => void
|
||||
>T : T
|
||||
>U : U
|
||||
>U : U
|
||||
@@ -48,7 +48,7 @@ function f2<T extends U, U extends V, V extends T>() { }
|
||||
>T : T
|
||||
|
||||
var a: {
|
||||
>a : { <U extends T, T extends U>(): void; <T extends U, U extends V, V extends T>(): void; }
|
||||
>a : { <U, T>(): void; <T, U, V>(): void; }
|
||||
|
||||
<U extends T, T extends U>(): void;
|
||||
>U : U
|
||||
@@ -66,16 +66,16 @@ var a: {
|
||||
}
|
||||
|
||||
var b = <U extends T, T extends U>() => { }
|
||||
>b : <U extends T, T extends U>() => void
|
||||
><U extends T, T extends U>() => { } : <U extends T, T extends U>() => void
|
||||
>b : <U, T>() => void
|
||||
><U extends T, T extends U>() => { } : <U, T>() => void
|
||||
>U : U
|
||||
>T : T
|
||||
>T : T
|
||||
>U : U
|
||||
|
||||
var b2 = <T extends U, U extends V, V extends T>() => { }
|
||||
>b2 : <T extends U, U extends V, V extends T>() => void
|
||||
><T extends U, U extends V, V extends T>() => { } : <T extends U, U extends V, V extends T>() => void
|
||||
>b2 : <T, U, V>() => void
|
||||
><T extends U, U extends V, V extends T>() => { } : <T, U, V>() => void
|
||||
>T : T
|
||||
>U : U
|
||||
>U : U
|
||||
|
||||
Reference in New Issue
Block a user