Should/How the Proxy type for Reactive Objects be Identifiable in IntelliSense?

[serkodev]

Due to the nature of Proxies, the types of Proxy objects and regular objects in TypeScript are identical.

const foo = { abc: '123' };
const reactiveFoo = reactive({ abc: '123' });

type AssertEqual<T, Expected> = T extends Expected ? (Expected extends T ? true : never) : never;
type isFoo = AssertEqual<typeof foo, typeof reactiveFoo>; // true

This creates a challenge when using reactive types (such as Props or Pinia stores). Specifically, when using watch, TypeScript's IntelliSense cannot determine whether a object is reactive or not.

watch(() => foo.abc, () => {}) // non-reactive
watch(() => reactiveFoo.abc, () => {}) // reactive

However, I am unsure of any methods to achieve this differentiation:

I have considered adding a special key-value pair to identify reactive objects, but this would alter the original object and might affect JSON stringification.

Related discussion:
microsoft/TypeScript#20846