From 791f56d22f080ee1dcc90b3b2e84c1af5cb2fd1c Mon Sep 17 00:00:00 2001 From: Anders Hejlsberg Date: Wed, 10 Apr 2019 17:13:11 -1000 Subject: [PATCH] Accept new baselines --- .../reference/genericFunctionInference2.js | 26 +++++++++ .../genericFunctionInference2.symbols | 56 +++++++++++++++++++ .../reference/genericFunctionInference2.types | 49 ++++++++++++++++ 3 files changed, 131 insertions(+) create mode 100644 tests/baselines/reference/genericFunctionInference2.js create mode 100644 tests/baselines/reference/genericFunctionInference2.symbols create mode 100644 tests/baselines/reference/genericFunctionInference2.types diff --git a/tests/baselines/reference/genericFunctionInference2.js b/tests/baselines/reference/genericFunctionInference2.js new file mode 100644 index 00000000000..5a95abae8cb --- /dev/null +++ b/tests/baselines/reference/genericFunctionInference2.js @@ -0,0 +1,26 @@ +//// [genericFunctionInference2.ts] +// Repro from #30685 + +type Reducer = (state: S) => S; +declare function combineReducers(reducers: { [K in keyof S]: Reducer }): Reducer; + +type MyState = { combined: { foo: number } }; +declare const foo: Reducer; + +const myReducer1: Reducer = combineReducers({ + combined: combineReducers({ foo }), +}); + +const myReducer2 = combineReducers({ + combined: combineReducers({ foo }), +}); + + +//// [genericFunctionInference2.js] +// Repro from #30685 +var myReducer1 = combineReducers({ + combined: combineReducers({ foo: foo }) +}); +var myReducer2 = combineReducers({ + combined: combineReducers({ foo: foo }) +}); diff --git a/tests/baselines/reference/genericFunctionInference2.symbols b/tests/baselines/reference/genericFunctionInference2.symbols new file mode 100644 index 00000000000..d77f1182b92 --- /dev/null +++ b/tests/baselines/reference/genericFunctionInference2.symbols @@ -0,0 +1,56 @@ +=== tests/cases/compiler/genericFunctionInference2.ts === +// Repro from #30685 + +type Reducer = (state: S) => S; +>Reducer : Symbol(Reducer, Decl(genericFunctionInference2.ts, 0, 0)) +>S : Symbol(S, Decl(genericFunctionInference2.ts, 2, 13)) +>state : Symbol(state, Decl(genericFunctionInference2.ts, 2, 19)) +>S : Symbol(S, Decl(genericFunctionInference2.ts, 2, 13)) +>S : Symbol(S, Decl(genericFunctionInference2.ts, 2, 13)) + +declare function combineReducers(reducers: { [K in keyof S]: Reducer }): Reducer; +>combineReducers : Symbol(combineReducers, Decl(genericFunctionInference2.ts, 2, 34)) +>S : Symbol(S, Decl(genericFunctionInference2.ts, 3, 33)) +>reducers : Symbol(reducers, Decl(genericFunctionInference2.ts, 3, 36)) +>K : Symbol(K, Decl(genericFunctionInference2.ts, 3, 49)) +>S : Symbol(S, Decl(genericFunctionInference2.ts, 3, 33)) +>Reducer : Symbol(Reducer, Decl(genericFunctionInference2.ts, 0, 0)) +>S : Symbol(S, Decl(genericFunctionInference2.ts, 3, 33)) +>K : Symbol(K, Decl(genericFunctionInference2.ts, 3, 49)) +>Reducer : Symbol(Reducer, Decl(genericFunctionInference2.ts, 0, 0)) +>S : Symbol(S, Decl(genericFunctionInference2.ts, 3, 33)) + +type MyState = { combined: { foo: number } }; +>MyState : Symbol(MyState, Decl(genericFunctionInference2.ts, 3, 93)) +>combined : Symbol(combined, Decl(genericFunctionInference2.ts, 5, 16)) +>foo : Symbol(foo, Decl(genericFunctionInference2.ts, 5, 28)) + +declare const foo: Reducer; +>foo : Symbol(foo, Decl(genericFunctionInference2.ts, 6, 13)) +>Reducer : Symbol(Reducer, Decl(genericFunctionInference2.ts, 0, 0)) +>MyState : Symbol(MyState, Decl(genericFunctionInference2.ts, 3, 93)) + +const myReducer1: Reducer = combineReducers({ +>myReducer1 : Symbol(myReducer1, Decl(genericFunctionInference2.ts, 8, 5)) +>Reducer : Symbol(Reducer, Decl(genericFunctionInference2.ts, 0, 0)) +>MyState : Symbol(MyState, Decl(genericFunctionInference2.ts, 3, 93)) +>combineReducers : Symbol(combineReducers, Decl(genericFunctionInference2.ts, 2, 34)) + + combined: combineReducers({ foo }), +>combined : Symbol(combined, Decl(genericFunctionInference2.ts, 8, 54)) +>combineReducers : Symbol(combineReducers, Decl(genericFunctionInference2.ts, 2, 34)) +>foo : Symbol(foo, Decl(genericFunctionInference2.ts, 9, 31)) + +}); + +const myReducer2 = combineReducers({ +>myReducer2 : Symbol(myReducer2, Decl(genericFunctionInference2.ts, 12, 5)) +>combineReducers : Symbol(combineReducers, Decl(genericFunctionInference2.ts, 2, 34)) + + combined: combineReducers({ foo }), +>combined : Symbol(combined, Decl(genericFunctionInference2.ts, 12, 36)) +>combineReducers : Symbol(combineReducers, Decl(genericFunctionInference2.ts, 2, 34)) +>foo : Symbol(foo, Decl(genericFunctionInference2.ts, 13, 31)) + +}); + diff --git a/tests/baselines/reference/genericFunctionInference2.types b/tests/baselines/reference/genericFunctionInference2.types new file mode 100644 index 00000000000..48b8d084fd6 --- /dev/null +++ b/tests/baselines/reference/genericFunctionInference2.types @@ -0,0 +1,49 @@ +=== tests/cases/compiler/genericFunctionInference2.ts === +// Repro from #30685 + +type Reducer = (state: S) => S; +>Reducer : Reducer +>state : S + +declare function combineReducers(reducers: { [K in keyof S]: Reducer }): Reducer; +>combineReducers : (reducers: { [K in keyof S]: Reducer; }) => Reducer +>reducers : { [K in keyof S]: Reducer; } + +type MyState = { combined: { foo: number } }; +>MyState : MyState +>combined : { foo: number; } +>foo : number + +declare const foo: Reducer; +>foo : Reducer + +const myReducer1: Reducer = combineReducers({ +>myReducer1 : Reducer +>combineReducers({ combined: combineReducers({ foo }),}) : Reducer<{ combined: { foo: any; }; }> +>combineReducers : (reducers: { [K in keyof S]: Reducer; }) => Reducer +>{ combined: combineReducers({ foo }),} : { combined: Reducer<{ foo: number; }>; } + + combined: combineReducers({ foo }), +>combined : Reducer<{ foo: number; }> +>combineReducers({ foo }) : Reducer<{ foo: number; }> +>combineReducers : (reducers: { [K in keyof S]: Reducer; }) => Reducer +>{ foo } : { foo: Reducer; } +>foo : Reducer + +}); + +const myReducer2 = combineReducers({ +>myReducer2 : Reducer<{ combined: { foo: any; }; }> +>combineReducers({ combined: combineReducers({ foo }),}) : Reducer<{ combined: { foo: any; }; }> +>combineReducers : (reducers: { [K in keyof S]: Reducer; }) => Reducer +>{ combined: combineReducers({ foo }),} : { combined: Reducer<{ foo: number; }>; } + + combined: combineReducers({ foo }), +>combined : Reducer<{ foo: number; }> +>combineReducers({ foo }) : Reducer<{ foo: number; }> +>combineReducers : (reducers: { [K in keyof S]: Reducer; }) => Reducer +>{ foo } : { foo: Reducer; } +>foo : Reducer + +}); +