test: add readonly case

Author: rudyxu1102

packages/dts-test/defineComponent.test-d.tsx

@@ -1402,6 +1402,57 @@ describe('define attrs', () => {
       <Comp class={'str'} style={'str'} bar={1} foo={'str'} />
     )
   })
+  test('ignore reserved props', () => {
+    defineComponent({
+      attrs: Object as AttrsType<{
+        bar?: number
+      }>,
+      created() {
+        // @ts-expect-error reserved props
+        this.$attrs.key
+        // @ts-expect-error reserved props
+        this.$attrs.ref
+      }
+    })
+    defineComponent(
+      (props: { foo: string }, ctx) => {
+        // @ts-expect-error reserved props
+        ctx.attrs.key
+        // @ts-expect-error reserved props
+        ctx.attrs.ref
+        return () => <div>{props.foo}</div>
+      },
+      {
+        attrs: Object as AttrsType<{
+          bar?: number
+        }>
+      }
+    )
+  })
+
+  test('always readonly', () => {
+    defineComponent({
+      attrs: Object as AttrsType<{
+        bar?: number
+      }>,
+      created() {
+        // @ts-expect-error readonly
+        this.$attrs.class = 'test'
+      }
+    })
+    defineComponent(
+      (props: { foo: string }, ctx) => {
+        // @ts-expect-error readonly
+        ctx.attrs.bar = 1
+        return () => <div>{props.foo}</div>
+      },
+      {
+        attrs: Object as AttrsType<{
+          bar?: number
+        }>
+      }
+    )
+  })
 })
 
 // #5948

packages/runtime-core/src/componentOptions.ts

@@ -457,7 +457,7 @@ export type StrictUnwrapAttrsType<
   Attrs extends Record<string, unknown>,
   T = NonNullable<Attrs>
 > = [keyof T] extends [never]
-  ? Record<string, unknown>
+  ? Readonly<Record<string, unknown>>
   : T extends new () => { $props: infer P }
   ? Readonly<NonNullable<P>>
   : T extends (props: infer P, ...args: any) => any

packages/runtime-core/src/componentPublicInstance.ts

@@ -218,13 +218,13 @@ export type ComponentPublicInstance<
 > = {
   $: ComponentInternalInstance
   $data: D
-  $props: Prettify<
-    MakeDefaultsOptional extends true
-      ? Partial<Defaults> & Omit<P & PublicProps, keyof Defaults> & AttrsProps
-      : P & PublicProps & AttrsProps
-  >
+  $props: MakeDefaultsOptional extends true
+    ? Partial<Defaults> &
+        Omit<Prettify<P> & PublicProps, keyof Defaults> &
+        AttrsProps
+    : Prettify<P> & PublicProps & AttrsProps
   $attrs: HasDefinedAttrs<Attrs> extends true
-    ? AttrsProps & AllowedComponentProps
+    ? Readonly<AttrsProps & AllowedComponentProps>
     : Data
   $refs: Data
   $slots: UnwrapSlotsType<S>