[Bug]: An incorrect example was generated with the OpenAPI emitter when using @encodedName with @example.

[akishichinibu]

Describe the bug

openapi: 3.0.0
info:
  title: (title)
  version: 0.0.0
tags: []
paths: {}
components:
  schemas:
    A:
      type: object
      required:
        - x1
      properties:
        x1:
          type: integer
          format: int32
      example:
        X1: 1

The example in the generated specification doesn't match the schema, causing the specification to fail the linter check.
Expected to be

example:
  x1: 1

Reproduction

https://typespec.io/playground?c=QGV4YW1wbGUoI3sKICBYMTogMQp9KQptb2RlbCBBIMQVQGVuY29kZWROYW1lKCJhcHBsaWNhdGlvbi9qc29uIiwgIngxIinHPmludDMyCn0K&e=%40typespec%2Fopenapi3&options=%7B%7D

Checklist

• Follow our Code of Conduct
• Check that there isn't already an issue that request the same bug to avoid creating a duplicate.
• Check that this is a concrete bug. For Q&A open a GitHub Discussion.
• The provided reproduction is a minimal reproducible example of the bug.