fix(runtime-core): incomplete type inferred by generic components

packages/dts-test/setupHelpers.test-d.ts

@@ -4,6 +4,7 @@ import {
   useAttrs,
   useSlots,
   withDefaults,
+  PropType,
   Slots,
   defineSlots,
   VNode,
@@ -193,6 +194,25 @@ describe('defineProps w/ runtime declaration', () => {
   props2.baz
 })
 
+describe('defineProps w/ generics and runtime declarations', () => {
+  function test<T extends Record<string, any>>() {
+    const props = defineProps({
+      foo: {
+        type: Object as PropType<T>,
+        required: false,
+        default: null
+      },
+      bar: {
+        type: Object as PropType<T>,
+        required: true
+      }
+    })
+    expectType<T | null>(props.foo)
+    expectType<T>(props.bar)
+  }
+  test()
+})
+
 describe('defineEmits w/ type declaration', () => {
   const emit = defineEmits<(e: 'change') => void>()
   emit('change')

packages/runtime-core/src/componentProps.ts

@@ -122,11 +122,17 @@ type InferPropType<T> = [T] extends [null]
             ? U extends DateConstructor
               ? Date | InferPropType<U>
               : InferPropType<U>
-            : [T] extends [Prop<infer V, infer D>]
-              ? unknown extends V
-                ? IfAny<V, V, D>
-                : V
-              : T
+            : [T] extends [PropOptions<infer V, infer D>]
+              ? unknown extends D
+                ? V
+                : unknown extends V
+                  ? IfAny<V, V, D>
+                  : V
+              : [T] extends [Prop<infer V, infer D>]
+                ? unknown extends V
+                  ? IfAny<V, V, D>
+                  : V
+                : T
 
 /**
  * Extract prop types from a runtime props options object.