diff --git a/types/common.d.ts b/types/common.d.ts
index 01d1efbfc7a..3454628fb35 100644
--- a/types/common.d.ts
+++ b/types/common.d.ts
@@ -14,6 +14,16 @@ type Equal<Left, Right> =
 
 export type HasDefined<T> = Equal<T, unknown> extends true ? false : true
 
+type IsAny<T> = Equal<T, any> extends true ? true : false
+
+export type HasDefinedAndNotAny<T> = 
+  IsAny<T> extends true 
+    ? false 
+    : Equal<T, unknown> extends true 
+      ? false 
+      : true
+
+
 // If the type T accepts type "any", output type Y, otherwise output type N.
 // https://stackoverflow.com/questions/49927523/disallow-call-with-any/49928360#49928360
 export type IfAny<T, Y, N> = 0 extends 1 & T ? Y : N
diff --git a/types/test/utils.ts b/types/test/utils.ts
index 48c4fa882df..edf50950179 100644
--- a/types/test/utils.ts
+++ b/types/test/utils.ts
@@ -5,6 +5,12 @@ export declare function expectType<T>(value: T): void
 export declare function expectError<T>(value: T): void
 export declare function expectAssignable<T, T2 extends T = T>(value: T2): void
 
+type NoAny<T> = 0 extends (1 & T) ? never : T; 
+
+export declare function expectTypeNotAny<T>(value: NoAny<T>): void;
+export declare function expectErrorNotAny<T>(value: T extends any ? never : T): void;
+export declare function expectAssignableNotAny<T, T2 extends T = T>(value: T2 extends any ? never : T2): void;
+
 export type IsUnion<T, U extends T = T> = (
   T extends any ? (U extends T ? false : true) : never
 ) extends false
diff --git a/types/test/v3/MyTestComponent.js b/types/test/v3/MyTestComponent.js
new file mode 100644
index 00000000000..2d0adae7a61
--- /dev/null
+++ b/types/test/v3/MyTestComponent.js
@@ -0,0 +1,23 @@
+// @ts-check
+import { expectTypeNotAny } from '../utils'
+
+import {
+  defineComponent,
+} from '../../index'
+
+
+export default defineComponent({
+  name: 'MyTestComponent',
+  props: {
+    a: Number,
+  },
+  data() {
+    return {
+    };
+  },
+  setup(props) {
+    expectTypeNotAny(props.a)
+  },
+  methods: {
+  },
+})
\ No newline at end of file
diff --git a/types/test/v3/define-component-test.tsx b/types/test/v3/define-component-test.tsx
index 7e6d1968ca3..b5385064aca 100644
--- a/types/test/v3/define-component-test.tsx
+++ b/types/test/v3/define-component-test.tsx
@@ -8,6 +8,7 @@ import {
   ComponentPublicInstance
 } from '../../index'
 import { describe, test, expectType, expectError, IsUnion } from '../utils'
+import MyTestComponent from './MyTestComponent'
 
 describe('compat with v2 APIs', () => {
   const comp = defineComponent({})
@@ -264,8 +265,16 @@ describe('with object props', () => {
     }
   })
 
+
+  expectType<Component>(MyTestComponent)
   expectType<Component>(MyComponent)
 
+  expectType<JSX.Element>(
+    <MyTestComponent
+      a={1}
+    ></MyTestComponent>
+  )
+
   // Test TSX
   expectType<JSX.Element>(
     <MyComponent
diff --git a/types/tsconfig.json b/types/tsconfig.json
index 36c5afee057..0aca6dfc376 100644
--- a/types/tsconfig.json
+++ b/types/tsconfig.json
@@ -6,6 +6,7 @@
     "types": ["node"],
     "module": "esnext",
     "moduleResolution": "node",
+    "checkJs": true,
     "jsx": "preserve",
     "strict": true,
     "noEmit": true,
diff --git a/types/v3-define-component.d.ts b/types/v3-define-component.d.ts
index 03ef52d1856..d5e91460f4e 100644
--- a/types/v3-define-component.d.ts
+++ b/types/v3-define-component.d.ts
@@ -16,7 +16,7 @@ import {
   ComponentPublicInstanceConstructor,
   CreateComponentPublicInstance
 } from './v3-component-public-instance'
-import { Data, HasDefined } from './common'
+import { Data, HasDefined, HasDefinedAndNotAny } from './common'
 import { EmitsOptions } from './v3-setup-context'
 import { CreateElement, RenderContext } from './umd'
 
@@ -150,7 +150,7 @@ export function defineComponent<
   EmitsNames extends string = string,
   PropsOptions extends ComponentPropsOptions = ComponentPropsOptions
 >(
-  options: HasDefined<Props> extends true
+  options: HasDefinedAndNotAny<Props> extends true
     ? { functional?: never } & ComponentOptionsWithProps<
         PropsOptions,
         RawBindings,