test(types): add test case

Author: Alfred-Skyblue

types/test/v3/reactivity-test.ts

@@ -13,9 +13,10 @@ import {
   markRaw,
   shallowReadonly,
   set,
-  del
+  del,
+  ShallowRef
 } from '../../index'
-import { IsUnion, describe, expectType } from '../utils'
+import { IsUnion, describe, expectType, expectError } from '../utils'
 
 function plainType(arg: number | Ref<number>) {
   // ref coercing
@@ -163,6 +164,15 @@ if (shallowStatus.value === 'initial') {
   shallowStatus.value = 'invalidating'
 }
 
+{
+  // should return ShallowRef<T> | Ref<T>, not ShallowRef<T | Ref<T>>
+  expectType<ShallowRef<{ name: string }> | Ref<{ name: string }>>(
+    shallowRef({} as { name: string } | Ref<{ name: string }>)
+  )
+  expectType<ShallowRef<number> | Ref<string[]> | ShallowRef<string>>(
+    shallowRef('' as Ref<string[]> | string | number)
+  )
+}
 const refStatus = ref<Status>('initial')
 if (refStatus.value === 'initial') {
   expectType<Ref<Status>>(shallowStatus)
@@ -386,7 +396,6 @@ describe('set/del', () => {
   del([], 'fse', 123)
 })
 
-
 {
   //#12978
   type Steps = { step: '1' } | { step: '2' }
@@ -395,4 +404,4 @@ describe('set/del', () => {
 
   expectType<IsUnion<typeof shallowUnionGenParam>>(false)
   expectType<IsUnion<typeof shallowUnionAsCast>>(false)
-}
+}