diff --git a/src/compiler/binder.ts b/src/compiler/binder.ts
index 28193535ce9..9b977eb6bfc 100644
--- a/src/compiler/binder.ts
+++ b/src/compiler/binder.ts
@@ -2146,7 +2146,7 @@ namespace ts {
                     // falls through
                 case SyntaxKind.JSDocPropertyTag:
                     const propTag = node as JSDocPropertyLikeTag;
-                    const flags = propTag.isBracketed || propTag.typeExpression.type.kind === SyntaxKind.JSDocOptionalType ?
+                    const flags = propTag.isBracketed || propTag.typeExpression && propTag.typeExpression.type.kind === SyntaxKind.JSDocOptionalType ?
                         SymbolFlags.Property | SymbolFlags.Optional :
                         SymbolFlags.Property;
                     return declareSymbolAndAddToSymbolTable(propTag, flags, SymbolFlags.PropertyExcludes);
diff --git a/src/compiler/parser.ts b/src/compiler/parser.ts
index ebdf390f5b2..db6c5f23cfd 100644
--- a/src/compiler/parser.ts
+++ b/src/compiler/parser.ts
@@ -6699,7 +6699,7 @@ namespace ts {
                             if (typeExpression && typeExpression.type.kind === SyntaxKind.ArrayType) {
                                 jsdocTypeLiteral.isArrayType = true;
                             }
-                            typedefTag.typeExpression = childTypeTag && !isObjectOrObjectArrayTypeReference(childTypeTag.typeExpression.type) ?
+                            typedefTag.typeExpression = childTypeTag && childTypeTag.typeExpression && !isObjectOrObjectArrayTypeReference(childTypeTag.typeExpression.type) ?
                                 childTypeTag.typeExpression :
                                 finishNode(jsdocTypeLiteral);
                         }
diff --git a/src/compiler/types.ts b/src/compiler/types.ts
index 578c2d23c4f..f1d4740ccac 100644
--- a/src/compiler/types.ts
+++ b/src/compiler/types.ts
@@ -2194,7 +2194,7 @@ namespace ts {
     export interface JSDocPropertyLikeTag extends JSDocTag, Declaration {
         parent: JSDoc;
         name: EntityName;
-        typeExpression: JSDocTypeExpression;
+        typeExpression?: JSDocTypeExpression;
         /** Whether the property name came before the type -- non-standard for JSDoc, but Typescript-like */
         isNameFirst: boolean;
         isBracketed: boolean;
diff --git a/tests/baselines/reference/api/tsserverlibrary.d.ts b/tests/baselines/reference/api/tsserverlibrary.d.ts
index 3bb2ed11674..7fe07813adc 100644
--- a/tests/baselines/reference/api/tsserverlibrary.d.ts
+++ b/tests/baselines/reference/api/tsserverlibrary.d.ts
@@ -1473,7 +1473,7 @@ declare namespace ts {
     interface JSDocPropertyLikeTag extends JSDocTag, Declaration {
         parent: JSDoc;
         name: EntityName;
-        typeExpression: JSDocTypeExpression;
+        typeExpression?: JSDocTypeExpression;
         /** Whether the property name came before the type -- non-standard for JSDoc, but Typescript-like */
         isNameFirst: boolean;
         isBracketed: boolean;
diff --git a/tests/baselines/reference/api/typescript.d.ts b/tests/baselines/reference/api/typescript.d.ts
index d41db2eb413..a5bb674d511 100644
--- a/tests/baselines/reference/api/typescript.d.ts
+++ b/tests/baselines/reference/api/typescript.d.ts
@@ -1473,7 +1473,7 @@ declare namespace ts {
     interface JSDocPropertyLikeTag extends JSDocTag, Declaration {
         parent: JSDoc;
         name: EntityName;
-        typeExpression: JSDocTypeExpression;
+        typeExpression?: JSDocTypeExpression;
         /** Whether the property name came before the type -- non-standard for JSDoc, but Typescript-like */
         isNameFirst: boolean;
         isBracketed: boolean;
diff --git a/tests/baselines/reference/jsdocTypedef_propertyWithNoType.symbols b/tests/baselines/reference/jsdocTypedef_propertyWithNoType.symbols
new file mode 100644
index 00000000000..0bac06e2e61
--- /dev/null
+++ b/tests/baselines/reference/jsdocTypedef_propertyWithNoType.symbols
@@ -0,0 +1,11 @@
+=== /a.js ===
+/**
+ * @typedef Foo
+ * @property foo
+ */
+
+/** @type {Foo} */
+const x = { foo: 0 };
+>x : Symbol(x, Decl(a.js, 6, 5))
+>foo : Symbol(foo, Decl(a.js, 6, 11))
+
diff --git a/tests/baselines/reference/jsdocTypedef_propertyWithNoType.types b/tests/baselines/reference/jsdocTypedef_propertyWithNoType.types
new file mode 100644
index 00000000000..7d7326fc80c
--- /dev/null
+++ b/tests/baselines/reference/jsdocTypedef_propertyWithNoType.types
@@ -0,0 +1,13 @@
+=== /a.js ===
+/**
+ * @typedef Foo
+ * @property foo
+ */
+
+/** @type {Foo} */
+const x = { foo: 0 };
+>x : { foo: any; }
+>{ foo: 0 } : { foo: number; }
+>foo : number
+>0 : 0
+
diff --git a/tests/cases/compiler/jsdocTypedef_propertyWithNoType.ts b/tests/cases/compiler/jsdocTypedef_propertyWithNoType.ts
new file mode 100644
index 00000000000..bcabe980915
--- /dev/null
+++ b/tests/cases/compiler/jsdocTypedef_propertyWithNoType.ts
@@ -0,0 +1,12 @@
+// @allowJs: true
+// @checkJs: true
+// @noEmit: true
+
+// @Filename: /a.js
+/**
+ * @typedef Foo
+ * @property foo
+ */
+
+/** @type {Foo} */
+const x = { foo: 0 };