diff --git a/tests/baselines/reference/contextuallyTypedParametersWithInitializers.errors.txt b/tests/baselines/reference/contextuallyTypedParametersWithInitializers.errors.txt
new file mode 100644
index 00000000000..d28b6b05494
--- /dev/null
+++ b/tests/baselines/reference/contextuallyTypedParametersWithInitializers.errors.txt
@@ -0,0 +1,48 @@
+tests/cases/compiler/contextuallyTypedParametersWithInitializers.ts(8,27): error TS7022: '{ foo = 42 }' implicitly has type 'any' because it does not have a type annotation and is referenced directly or indirectly in its own initializer.
+tests/cases/compiler/contextuallyTypedParametersWithInitializers.ts(8,29): error TS7031: Binding element 'foo' implicitly has an 'any' type.
+tests/cases/compiler/contextuallyTypedParametersWithInitializers.ts(14,27): error TS7006: Parameter 'foo' implicitly has an 'any' type.
+tests/cases/compiler/contextuallyTypedParametersWithInitializers.ts(27,40): error TS7022: '{ foo = 42 }' implicitly has type 'any' because it does not have a type annotation and is referenced directly or indirectly in its own initializer.
+tests/cases/compiler/contextuallyTypedParametersWithInitializers.ts(27,42): error TS7031: Binding element 'foo' implicitly has an 'any' type.
+
+
+==== tests/cases/compiler/contextuallyTypedParametersWithInitializers.ts (5 errors) ====
+    declare function id1<T>(input: T): T;
+    declare function id2<T extends (x: any) => any>(input: T): T;
+    declare function id3<T extends (x: { foo: any }) => any>(input: T): T;
+    declare function id4<T extends (x: { foo?: number }) => any>(input: T): T;
+    declare function id5<T extends (x?: number) => any>(input: T): T;
+    
+    const f10 = function ({ foo = 42 }) { return foo };
+    const f11 = id1(function ({ foo = 42 }) { return foo });  // Implicit any error
+                              ~~~~~~~~~~~~
+!!! error TS7022: '{ foo = 42 }' implicitly has type 'any' because it does not have a type annotation and is referenced directly or indirectly in its own initializer.
+                                ~~~
+!!! error TS7031: Binding element 'foo' implicitly has an 'any' type.
+    const f12 = id2(function ({ foo = 42 }) { return foo });
+    const f13 = id3(function ({ foo = 42 }) { return foo });
+    const f14 = id4(function ({ foo = 42 }) { return foo });
+    
+    const f20 = function (foo = 42) { return foo };
+    const f21 = id1(function (foo = 42) { return foo });  // Implicit any error
+                              ~~~~~~~~
+!!! error TS7006: Parameter 'foo' implicitly has an 'any' type.
+    const f22 = id2(function (foo = 42) { return foo });
+    const f25 = id5(function (foo = 42) { return foo });
+    
+    // Repro from #28816
+    
+    function id<T>(input: T): T { return input }
+    
+    function getFoo ({ foo = 42 }) {
+      return foo;
+    }
+    
+    const newGetFoo = id(getFoo);
+    const newGetFoo2 = id(function getFoo ({ foo = 42 }) {
+                                           ~~~~~~~~~~~~
+!!! error TS7022: '{ foo = 42 }' implicitly has type 'any' because it does not have a type annotation and is referenced directly or indirectly in its own initializer.
+                                             ~~~
+!!! error TS7031: Binding element 'foo' implicitly has an 'any' type.
+      return foo;
+    });
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/contextuallyTypedParametersWithInitializers.js b/tests/baselines/reference/contextuallyTypedParametersWithInitializers.js
new file mode 100644
index 00000000000..96b55c43157
--- /dev/null
+++ b/tests/baselines/reference/contextuallyTypedParametersWithInitializers.js
@@ -0,0 +1,114 @@
+//// [contextuallyTypedParametersWithInitializers.ts]
+declare function id1<T>(input: T): T;
+declare function id2<T extends (x: any) => any>(input: T): T;
+declare function id3<T extends (x: { foo: any }) => any>(input: T): T;
+declare function id4<T extends (x: { foo?: number }) => any>(input: T): T;
+declare function id5<T extends (x?: number) => any>(input: T): T;
+
+const f10 = function ({ foo = 42 }) { return foo };
+const f11 = id1(function ({ foo = 42 }) { return foo });  // Implicit any error
+const f12 = id2(function ({ foo = 42 }) { return foo });
+const f13 = id3(function ({ foo = 42 }) { return foo });
+const f14 = id4(function ({ foo = 42 }) { return foo });
+
+const f20 = function (foo = 42) { return foo };
+const f21 = id1(function (foo = 42) { return foo });  // Implicit any error
+const f22 = id2(function (foo = 42) { return foo });
+const f25 = id5(function (foo = 42) { return foo });
+
+// Repro from #28816
+
+function id<T>(input: T): T { return input }
+
+function getFoo ({ foo = 42 }) {
+  return foo;
+}
+
+const newGetFoo = id(getFoo);
+const newGetFoo2 = id(function getFoo ({ foo = 42 }) {
+  return foo;
+});
+
+
+//// [contextuallyTypedParametersWithInitializers.js]
+"use strict";
+var f10 = function (_a) {
+    var _b = _a.foo, foo = _b === void 0 ? 42 : _b;
+    return foo;
+};
+var f11 = id1(function (_a) {
+    var _b = _a.foo, foo = _b === void 0 ? 42 : _b;
+    return foo;
+}); // Implicit any error
+var f12 = id2(function (_a) {
+    var _b = _a.foo, foo = _b === void 0 ? 42 : _b;
+    return foo;
+});
+var f13 = id3(function (_a) {
+    var _b = _a.foo, foo = _b === void 0 ? 42 : _b;
+    return foo;
+});
+var f14 = id4(function (_a) {
+    var _b = _a.foo, foo = _b === void 0 ? 42 : _b;
+    return foo;
+});
+var f20 = function (foo) {
+    if (foo === void 0) { foo = 42; }
+    return foo;
+};
+var f21 = id1(function (foo) {
+    if (foo === void 0) { foo = 42; }
+    return foo;
+}); // Implicit any error
+var f22 = id2(function (foo) {
+    if (foo === void 0) { foo = 42; }
+    return foo;
+});
+var f25 = id5(function (foo) {
+    if (foo === void 0) { foo = 42; }
+    return foo;
+});
+// Repro from #28816
+function id(input) { return input; }
+function getFoo(_a) {
+    var _b = _a.foo, foo = _b === void 0 ? 42 : _b;
+    return foo;
+}
+var newGetFoo = id(getFoo);
+var newGetFoo2 = id(function getFoo(_a) {
+    var _b = _a.foo, foo = _b === void 0 ? 42 : _b;
+    return foo;
+});
+
+
+//// [contextuallyTypedParametersWithInitializers.d.ts]
+declare function id1<T>(input: T): T;
+declare function id2<T extends (x: any) => any>(input: T): T;
+declare function id3<T extends (x: {
+    foo: any;
+}) => any>(input: T): T;
+declare function id4<T extends (x: {
+    foo?: number;
+}) => any>(input: T): T;
+declare function id5<T extends (x?: number) => any>(input: T): T;
+declare const f10: ({ foo }: {
+    foo?: number | undefined;
+}) => number;
+declare const f11: ({ foo }: any) => any;
+declare const f12: ({ foo }: any) => any;
+declare const f13: ({ foo }: {
+    foo: any;
+}) => any;
+declare const f14: ({ foo }: {
+    foo?: number | undefined;
+}) => number;
+declare const f20: (foo?: number) => number;
+declare const f21: (foo?: any) => any;
+declare const f22: (foo?: any) => any;
+declare const f25: (foo?: number | undefined) => number;
+declare function id<T>(input: T): T;
+declare function getFoo({ foo }: {
+    foo?: number | undefined;
+}): number;
+declare const newGetFoo: typeof getFoo;
+declare const newGetFoo2: ({ foo }: any) => any;
diff --git a/tests/baselines/reference/contextuallyTypedParametersWithInitializers.symbols b/tests/baselines/reference/contextuallyTypedParametersWithInitializers.symbols
new file mode 100644
index 00000000000..6932f7b0cb8
--- /dev/null
+++ b/tests/baselines/reference/contextuallyTypedParametersWithInitializers.symbols
@@ -0,0 +1,128 @@
+=== tests/cases/compiler/contextuallyTypedParametersWithInitializers.ts ===
+declare function id1<T>(input: T): T;
+>id1 : Symbol(id1, Decl(contextuallyTypedParametersWithInitializers.ts, 0, 0))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 0, 21))
+>input : Symbol(input, Decl(contextuallyTypedParametersWithInitializers.ts, 0, 24))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 0, 21))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 0, 21))
+
+declare function id2<T extends (x: any) => any>(input: T): T;
+>id2 : Symbol(id2, Decl(contextuallyTypedParametersWithInitializers.ts, 0, 37))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 1, 21))
+>x : Symbol(x, Decl(contextuallyTypedParametersWithInitializers.ts, 1, 32))
+>input : Symbol(input, Decl(contextuallyTypedParametersWithInitializers.ts, 1, 48))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 1, 21))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 1, 21))
+
+declare function id3<T extends (x: { foo: any }) => any>(input: T): T;
+>id3 : Symbol(id3, Decl(contextuallyTypedParametersWithInitializers.ts, 1, 61))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 2, 21))
+>x : Symbol(x, Decl(contextuallyTypedParametersWithInitializers.ts, 2, 32))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 2, 36))
+>input : Symbol(input, Decl(contextuallyTypedParametersWithInitializers.ts, 2, 57))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 2, 21))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 2, 21))
+
+declare function id4<T extends (x: { foo?: number }) => any>(input: T): T;
+>id4 : Symbol(id4, Decl(contextuallyTypedParametersWithInitializers.ts, 2, 70))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 3, 21))
+>x : Symbol(x, Decl(contextuallyTypedParametersWithInitializers.ts, 3, 32))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 3, 36))
+>input : Symbol(input, Decl(contextuallyTypedParametersWithInitializers.ts, 3, 61))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 3, 21))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 3, 21))
+
+declare function id5<T extends (x?: number) => any>(input: T): T;
+>id5 : Symbol(id5, Decl(contextuallyTypedParametersWithInitializers.ts, 3, 74))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 4, 21))
+>x : Symbol(x, Decl(contextuallyTypedParametersWithInitializers.ts, 4, 32))
+>input : Symbol(input, Decl(contextuallyTypedParametersWithInitializers.ts, 4, 52))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 4, 21))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 4, 21))
+
+const f10 = function ({ foo = 42 }) { return foo };
+>f10 : Symbol(f10, Decl(contextuallyTypedParametersWithInitializers.ts, 6, 5))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 6, 23))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 6, 23))
+
+const f11 = id1(function ({ foo = 42 }) { return foo });  // Implicit any error
+>f11 : Symbol(f11, Decl(contextuallyTypedParametersWithInitializers.ts, 7, 5))
+>id1 : Symbol(id1, Decl(contextuallyTypedParametersWithInitializers.ts, 0, 0))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 7, 27))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 7, 27))
+
+const f12 = id2(function ({ foo = 42 }) { return foo });
+>f12 : Symbol(f12, Decl(contextuallyTypedParametersWithInitializers.ts, 8, 5))
+>id2 : Symbol(id2, Decl(contextuallyTypedParametersWithInitializers.ts, 0, 37))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 8, 27))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 8, 27))
+
+const f13 = id3(function ({ foo = 42 }) { return foo });
+>f13 : Symbol(f13, Decl(contextuallyTypedParametersWithInitializers.ts, 9, 5))
+>id3 : Symbol(id3, Decl(contextuallyTypedParametersWithInitializers.ts, 1, 61))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 9, 27))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 9, 27))
+
+const f14 = id4(function ({ foo = 42 }) { return foo });
+>f14 : Symbol(f14, Decl(contextuallyTypedParametersWithInitializers.ts, 10, 5))
+>id4 : Symbol(id4, Decl(contextuallyTypedParametersWithInitializers.ts, 2, 70))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 10, 27))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 10, 27))
+
+const f20 = function (foo = 42) { return foo };
+>f20 : Symbol(f20, Decl(contextuallyTypedParametersWithInitializers.ts, 12, 5))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 12, 22))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 12, 22))
+
+const f21 = id1(function (foo = 42) { return foo });  // Implicit any error
+>f21 : Symbol(f21, Decl(contextuallyTypedParametersWithInitializers.ts, 13, 5))
+>id1 : Symbol(id1, Decl(contextuallyTypedParametersWithInitializers.ts, 0, 0))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 13, 26))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 13, 26))
+
+const f22 = id2(function (foo = 42) { return foo });
+>f22 : Symbol(f22, Decl(contextuallyTypedParametersWithInitializers.ts, 14, 5))
+>id2 : Symbol(id2, Decl(contextuallyTypedParametersWithInitializers.ts, 0, 37))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 14, 26))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 14, 26))
+
+const f25 = id5(function (foo = 42) { return foo });
+>f25 : Symbol(f25, Decl(contextuallyTypedParametersWithInitializers.ts, 15, 5))
+>id5 : Symbol(id5, Decl(contextuallyTypedParametersWithInitializers.ts, 3, 74))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 15, 26))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 15, 26))
+
+// Repro from #28816
+
+function id<T>(input: T): T { return input }
+>id : Symbol(id, Decl(contextuallyTypedParametersWithInitializers.ts, 15, 52))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 19, 12))
+>input : Symbol(input, Decl(contextuallyTypedParametersWithInitializers.ts, 19, 15))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 19, 12))
+>T : Symbol(T, Decl(contextuallyTypedParametersWithInitializers.ts, 19, 12))
+>input : Symbol(input, Decl(contextuallyTypedParametersWithInitializers.ts, 19, 15))
+
+function getFoo ({ foo = 42 }) {
+>getFoo : Symbol(getFoo, Decl(contextuallyTypedParametersWithInitializers.ts, 19, 44))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 21, 18))
+
+  return foo;
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 21, 18))
+}
+
+const newGetFoo = id(getFoo);
+>newGetFoo : Symbol(newGetFoo, Decl(contextuallyTypedParametersWithInitializers.ts, 25, 5))
+>id : Symbol(id, Decl(contextuallyTypedParametersWithInitializers.ts, 15, 52))
+>getFoo : Symbol(getFoo, Decl(contextuallyTypedParametersWithInitializers.ts, 19, 44))
+
+const newGetFoo2 = id(function getFoo ({ foo = 42 }) {
+>newGetFoo2 : Symbol(newGetFoo2, Decl(contextuallyTypedParametersWithInitializers.ts, 26, 5))
+>id : Symbol(id, Decl(contextuallyTypedParametersWithInitializers.ts, 15, 52))
+>getFoo : Symbol(getFoo, Decl(contextuallyTypedParametersWithInitializers.ts, 26, 22))
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 26, 40))
+
+  return foo;
+>foo : Symbol(foo, Decl(contextuallyTypedParametersWithInitializers.ts, 26, 40))
+
+});
+
diff --git a/tests/baselines/reference/contextuallyTypedParametersWithInitializers.types b/tests/baselines/reference/contextuallyTypedParametersWithInitializers.types
new file mode 100644
index 00000000000..3824b16ae62
--- /dev/null
+++ b/tests/baselines/reference/contextuallyTypedParametersWithInitializers.types
@@ -0,0 +1,140 @@
+=== tests/cases/compiler/contextuallyTypedParametersWithInitializers.ts ===
+declare function id1<T>(input: T): T;
+>id1 : <T>(input: T) => T
+>input : T
+
+declare function id2<T extends (x: any) => any>(input: T): T;
+>id2 : <T extends (x: any) => any>(input: T) => T
+>x : any
+>input : T
+
+declare function id3<T extends (x: { foo: any }) => any>(input: T): T;
+>id3 : <T extends (x: { foo: any; }) => any>(input: T) => T
+>x : { foo: any; }
+>foo : any
+>input : T
+
+declare function id4<T extends (x: { foo?: number }) => any>(input: T): T;
+>id4 : <T extends (x: { foo?: number | undefined; }) => any>(input: T) => T
+>x : { foo?: number | undefined; }
+>foo : number | undefined
+>input : T
+
+declare function id5<T extends (x?: number) => any>(input: T): T;
+>id5 : <T extends (x?: number | undefined) => any>(input: T) => T
+>x : number | undefined
+>input : T
+
+const f10 = function ({ foo = 42 }) { return foo };
+>f10 : ({ foo }: { foo?: number | undefined; }) => number
+>function ({ foo = 42 }) { return foo } : ({ foo }: { foo?: number | undefined; }) => number
+>foo : number
+>42 : 42
+>foo : number
+
+const f11 = id1(function ({ foo = 42 }) { return foo });  // Implicit any error
+>f11 : ({ foo }: any) => any
+>id1(function ({ foo = 42 }) { return foo }) : ({ foo }: any) => any
+>id1 : <T>(input: T) => T
+>function ({ foo = 42 }) { return foo } : ({ foo }: any) => any
+>foo : any
+>42 : 42
+>foo : any
+
+const f12 = id2(function ({ foo = 42 }) { return foo });
+>f12 : ({ foo }: any) => any
+>id2(function ({ foo = 42 }) { return foo }) : ({ foo }: any) => any
+>id2 : <T extends (x: any) => any>(input: T) => T
+>function ({ foo = 42 }) { return foo } : ({ foo }: any) => any
+>foo : any
+>42 : 42
+>foo : any
+
+const f13 = id3(function ({ foo = 42 }) { return foo });
+>f13 : ({ foo }: { foo: any; }) => any
+>id3(function ({ foo = 42 }) { return foo }) : ({ foo }: { foo: any; }) => any
+>id3 : <T extends (x: { foo: any; }) => any>(input: T) => T
+>function ({ foo = 42 }) { return foo } : ({ foo }: { foo: any; }) => any
+>foo : any
+>42 : 42
+>foo : any
+
+const f14 = id4(function ({ foo = 42 }) { return foo });
+>f14 : ({ foo }: { foo?: number | undefined; }) => number
+>id4(function ({ foo = 42 }) { return foo }) : ({ foo }: { foo?: number | undefined; }) => number
+>id4 : <T extends (x: { foo?: number | undefined; }) => any>(input: T) => T
+>function ({ foo = 42 }) { return foo } : ({ foo }: { foo?: number | undefined; }) => number
+>foo : number
+>42 : 42
+>foo : number
+
+const f20 = function (foo = 42) { return foo };
+>f20 : (foo?: number) => number
+>function (foo = 42) { return foo } : (foo?: number) => number
+>foo : number
+>42 : 42
+>foo : number
+
+const f21 = id1(function (foo = 42) { return foo });  // Implicit any error
+>f21 : (foo?: any) => any
+>id1(function (foo = 42) { return foo }) : (foo?: any) => any
+>id1 : <T>(input: T) => T
+>function (foo = 42) { return foo } : (foo?: any) => any
+>foo : any
+>42 : 42
+>foo : any
+
+const f22 = id2(function (foo = 42) { return foo });
+>f22 : (foo?: any) => any
+>id2(function (foo = 42) { return foo }) : (foo?: any) => any
+>id2 : <T extends (x: any) => any>(input: T) => T
+>function (foo = 42) { return foo } : (foo?: any) => any
+>foo : any
+>42 : 42
+>foo : any
+
+const f25 = id5(function (foo = 42) { return foo });
+>f25 : (foo?: number | undefined) => number
+>id5(function (foo = 42) { return foo }) : (foo?: number | undefined) => number
+>id5 : <T extends (x?: number | undefined) => any>(input: T) => T
+>function (foo = 42) { return foo } : (foo?: number | undefined) => number
+>foo : number | undefined
+>42 : 42
+>foo : number
+
+// Repro from #28816
+
+function id<T>(input: T): T { return input }
+>id : <T>(input: T) => T
+>input : T
+>input : T
+
+function getFoo ({ foo = 42 }) {
+>getFoo : ({ foo }: { foo?: number | undefined; }) => number
+>foo : number
+>42 : 42
+
+  return foo;
+>foo : number
+}
+
+const newGetFoo = id(getFoo);
+>newGetFoo : ({ foo }: { foo?: number | undefined; }) => number
+>id(getFoo) : ({ foo }: { foo?: number | undefined; }) => number
+>id : <T>(input: T) => T
+>getFoo : ({ foo }: { foo?: number | undefined; }) => number
+
+const newGetFoo2 = id(function getFoo ({ foo = 42 }) {
+>newGetFoo2 : ({ foo }: any) => any
+>id(function getFoo ({ foo = 42 }) {  return foo;}) : ({ foo }: any) => any
+>id : <T>(input: T) => T
+>function getFoo ({ foo = 42 }) {  return foo;} : ({ foo }: any) => any
+>getFoo : ({ foo }: any) => any
+>foo : any
+>42 : 42
+
+  return foo;
+>foo : any
+
+});
+