@@ -17156,7 +17156,8 @@ func (c *Checker) padObjectLiteralType(t *Type, pattern *ast.Node) *Type {
 	}
 	for _, e := range missingElements {
 		symbol := c.newSymbol(ast.SymbolFlagsProperty|ast.SymbolFlagsOptional, c.getPropertyNameFromBindingElement(e))
-		c.valueSymbolLinks.Get(symbol).resolvedType = c.getTypeFromBindingElement(e, false /*includePatternInType*/, true /*reportErrors*/)
+		reportErrors := ast.GetRootDeclaration(e).Type() == nil
+		c.valueSymbolLinks.Get(symbol).resolvedType = c.getTypeFromBindingElement(e, false /*includePatternInType*/, reportErrors)
 		members[symbol.Name] = symbol
 	}
 	result := c.newAnonymousType(t.symbol, members, nil, nil, c.getIndexInfosOfType(t))
 
@@ -0,0 +1,43 @@
+//// [tests/cases/compiler/objectBindingPatternDefaultAnnotated.ts] ////
+
+=== objectBindingPatternDefaultAnnotated.ts ===
+interface Inner {
+>Inner : Symbol(Inner, Decl(objectBindingPatternDefaultAnnotated.ts, 0, 0))
+
+    a?: number;
+>a : Symbol(Inner.a, Decl(objectBindingPatternDefaultAnnotated.ts, 0, 17))
+
+    b?: number;
+>b : Symbol(Inner.b, Decl(objectBindingPatternDefaultAnnotated.ts, 1, 15))
+}
+
+interface Outer {
+>Outer : Symbol(Outer, Decl(objectBindingPatternDefaultAnnotated.ts, 3, 1))
+
+    inner?: Inner;
+>inner : Symbol(Outer.inner, Decl(objectBindingPatternDefaultAnnotated.ts, 5, 17))
+>Inner : Symbol(Inner, Decl(objectBindingPatternDefaultAnnotated.ts, 0, 0))
+}
+
+export function withSibling({ inner: { a = 1, b } = {} }: Outer) {
+>withSibling : Symbol(withSibling, Decl(objectBindingPatternDefaultAnnotated.ts, 7, 1))
+>inner : Symbol(Outer.inner, Decl(objectBindingPatternDefaultAnnotated.ts, 5, 17))
+>a : Symbol(a, Decl(objectBindingPatternDefaultAnnotated.ts, 9, 38))
+>b : Symbol(b, Decl(objectBindingPatternDefaultAnnotated.ts, 9, 45))
+>Outer : Symbol(Outer, Decl(objectBindingPatternDefaultAnnotated.ts, 3, 1))
+
+    return [a, b];
+>a : Symbol(a, Decl(objectBindingPatternDefaultAnnotated.ts, 9, 38))
+>b : Symbol(b, Decl(objectBindingPatternDefaultAnnotated.ts, 9, 45))
+}
+
+export function alone({ inner: { b } = {} }: Outer) {
+>alone : Symbol(alone, Decl(objectBindingPatternDefaultAnnotated.ts, 11, 1))
+>inner : Symbol(Outer.inner, Decl(objectBindingPatternDefaultAnnotated.ts, 5, 17))
+>b : Symbol(b, Decl(objectBindingPatternDefaultAnnotated.ts, 13, 32))
+>Outer : Symbol(Outer, Decl(objectBindingPatternDefaultAnnotated.ts, 3, 1))
+
+    return b;
+>b : Symbol(b, Decl(objectBindingPatternDefaultAnnotated.ts, 13, 32))
+}
+
@@ -0,0 +1,40 @@
+//// [tests/cases/compiler/objectBindingPatternDefaultAnnotated.ts] ////
+
+=== objectBindingPatternDefaultAnnotated.ts ===
+interface Inner {
+    a?: number;
+>a : number | undefined
+
+    b?: number;
+>b : number | undefined
+}
+
+interface Outer {
+    inner?: Inner;
+>inner : Inner | undefined
+}
+
+export function withSibling({ inner: { a = 1, b } = {} }: Outer) {
+>withSibling : ({ inner: { a, b } }: Outer) => (number | undefined)[]
+>inner : any
+>a : number
+>1 : 1
+>b : number | undefined
+>{} : {}
+
+    return [a, b];
+>[a, b] : (number | undefined)[]
+>a : number
+>b : number | undefined
+}
+
+export function alone({ inner: { b } = {} }: Outer) {
+>alone : ({ inner: { b } }: Outer) => number | undefined
+>inner : any
+>b : number | undefined
+>{} : {}
+
+    return b;
+>b : number | undefined
+}
+
@@ -0,0 +1,19 @@
+// @strict: true
+// @noEmit: true
+
+interface Inner {
+    a?: number;
+    b?: number;
+}
+
+interface Outer {
+    inner?: Inner;
+}
+
+export function withSibling({ inner: { a = 1, b } = {} }: Outer) {
+    return [a, b];
+}
+
+export function alone({ inner: { b } = {} }: Outer) {
+    return b;
+}
Original file line number	Diff line number	Diff line change
`@@ -17156,7 +17156,8 @@ func (c Checker) padObjectLiteralType(t Type, pattern ast.Node) Type {`
`17156`	`17156`	`}`
`17157`	`17157`	`for _, e := range missingElements {`
`17158`	`17158`	`symbol := c.newSymbol(ast.SymbolFlagsProperty\|ast.SymbolFlagsOptional, c.getPropertyNameFromBindingElement(e))`
`17159`		`- c.valueSymbolLinks.Get(symbol).resolvedType = c.getTypeFromBindingElement(e, false /includePatternInType/, true /reportErrors/)`
	`17159`	`+ reportErrors := ast.GetRootDeclaration(e).Type() == nil`
	`17160`	`+ c.valueSymbolLinks.Get(symbol).resolvedType = c.getTypeFromBindingElement(e, false /includePatternInType/, reportErrors)`
`17160`	`17161`	`members[symbol.Name] = symbol`
`17161`	`17162`	`}`
`17162`	`17163`	`result := c.newAnonymousType(t.symbol, members, nil, nil, c.getIndexInfosOfType(t))`