fix(types): ref() return type should not be any when initial value is…

… any
vuejs · Alfred-Skyblue · Dec 14, 2023 · Dec 14, 2023 · f9d3b116fc04af0a88ed7c6db566d2674bdcf3d0
commit f9d3b116fc04af0a88ed7c6db566d2674bdcf3d0
diff --git a/src/v3/reactivity/ref.ts b/src/v3/reactivity/ref.ts
@@ -40,7 +40,6 @@ export function isRef(r: any): r is Ref {
   return !!(r && (r as Ref).__v_isRef === true)
 }
 
-export function ref<T extends Ref>(value: T): T
 export function ref<T>(value: T): Ref<UnwrapRef<T>>
 export function ref<T = any>(): Ref<T | undefined>
 export function ref(value?: unknown) {

diff --git a/types/test/v3/reactivity-test.ts b/types/test/v3/reactivity-test.ts
@@ -15,7 +15,7 @@ import {
   set,
   del
 } from '../../index'
-import { IsUnion, describe, expectType } from '../utils'
+import { IsUnion, describe, expectType, IsAny } from '../utils'
 
 function plainType(arg: number | Ref<number>) {
   // ref coercing
@@ -46,6 +46,10 @@ function plainType(arg: number | Ref<number>) {
   expectType<Ref<true>>(trueRef)
   expectType<true>(trueRef.value)
 
+  // any value should return Ref<any>, not any
+  const a = ref(1 as any)
+  expectType<IsAny<typeof a>>(false)
+
   // tuple
   expectType<[number, string]>(unref(ref([1, '1'])))
 
@@ -386,7 +390,6 @@ describe('set/del', () => {
   del([], 'fse', 123)
 })
 
-
 {
   //#12978
   type Steps = { step: '1' } | { step: '2' }
@@ -395,4 +398,10 @@ describe('set/del', () => {
 
   expectType<IsUnion<typeof shallowUnionGenParam>>(false)
   expectType<IsUnion<typeof shallowUnionAsCast>>(false)
-}
+}
+
+{
+  // any value should return Ref<any>, not any
+  const a = shallowRef(1 as any)
+  expectType<IsAny<typeof a>>(false)
+}