Typescript: 'Function' type of PropType introduced in 0.5.0 is annoying when using Vetur

[gertqin]

When using Vetur's template interpolation service, object props cannot be used directly in the template from 0.5.0, without getting syntax errors:

Exposing the user through setup, i.e.

export default defineComponent({
  props: {
    user: Object as PropType<IUser>,
  },
  setup(props) {
    return { user: props.user as IUser }
  }
});

works for Vetur, but then the console will print warnings:

[Vue warn]: The setup binding property "user" is already declared as a prop.

[jaryn-kubik]

This isn't just a problem with Vetur by the way, if you wanna use the prop in setup, you'll run into the same problem.
It seems to work fine when using the full prop notation:
{type: Object as PropType<IUser>} instead of just Object as PropType<IUser>

[LinusBorg]

@ktsn this sounds like a problem for your Type skills ... Got an idea?

[ktsn]

This might be a bug of TypeScript... I've filed an issue on the repo. microsoft/TypeScript#37734

[ktsn]

This is actually something we can fix in our code. PR #301