fix(types): RequiredKeys should include Prop<T, D>

[KaelWD]

I have a factory function for props that uses Prop<T, D>, but when used in a component the props always include undefined even if D is set. Not entirely sure how to test this, but it works with vuetifyjs/vuetify#12510 when replaced in node_modules.

Example code:

const makeProps = propsFactory({
  tag: String,
})

defineComponent({
  props: makeProps(),

  setup (props) {
    props.tag // string | undefined
  },
})

defineComponent({
  props: makeProps({ tag: 'a' }),

  setup (props) {
    props.tag // should be string, actually string | undefined
  },
})

[pikax]

Can you add a test case for that?

[KaelWD]

Another way to test it is

type NoNullableFields<T> = { [P in keyof T]-?: NonNullable<T[P]> }

type Expected = { foo: boolean }
type Result = ExtractPropTypes<NoNullableFields<ComponentObjectPropsOptions<Expected>>>

expectType<{ foo: boolean }>({} as Result)

Basically making it possible to convert between Props and ComponentObjectPropsOptions without losing any type information.

[HcySunYang]

@KaelWD Hey, can you fix the conflict?

[KaelWD]

Done.

[hulkyhawk]

@KaelWD if you use Prop type to default props instead of an object literal, then Vue cannot guarantee there is a default field then;

 const props: { foo: Prop<boolean> } = { foo: { type: Boolean } }

[KaelWD]

Not sure what you mean by that, Boolean props default to false

[hulkyhawk]

Not sure what you mean by that, Boolean props default to false

i mean if you use object literal to make ts infer the type, then vue will know that if you have a default field in the PropOption. use Prop type will loose the information, since default is optional

sorry, boolean is not proper here, you can use Prop to do the following
const props: { foo: Prop<string> } = { foo: { type: String } }