test: add dts tests for defineComponent

Author: antfu

src/component/componentOptions.ts

@@ -1,11 +1,7 @@
 import { Data } from './common'
 import { ComponentPropsOptions, ExtractPropTypes } from './componentProps'
 import { VNode } from 'vue'
-import {
-  ComponentInstance,
-  VueProxy,
-  ComponentRenderProxy,
-} from './componentProxy'
+import { ComponentInstance, ComponentRenderProxy } from './componentProxy'
 
 import { ComponentOptions as Vue2ComponentOptions } from 'vue'
 

src/component/componentProxy.ts

@@ -25,18 +25,19 @@ export type ComponentRenderProxy<
   PublicProps = P
 > = {
   $data: D
-  $props: P & PublicProps
+  $props: Readonly<P & PublicProps>
   $attrs: Data
   $refs: Data
   $slots: Data
   $root: ComponentInstance | null
   $parent: ComponentInstance | null
   $emit: (event: string, ...args: unknown[]) => void
-} & P &
+} & Readonly<P> &
   UnwrapRef<B> &
   D &
   M &
-  ExtractComputedReturns<C>
+  ExtractComputedReturns<C> &
+  Vue
 
 // for Vetur and TSX support
 type VueConstructorProxy<PropsOptions, RawBindings> = VueConstructor & {