typespec で utcDateTime を使ってるときに example を書く方法

@example(#{
  created: utcDateTime.fromISO("2020-01-01T00:00:00Z")
})
model Entry {
  @encode(DateTimeKnownEncoding.unixTimestamp, int64)
  created: utcDateTime; // unixTime in seconds
}

という形で出来る｡

このへんに載ってた｡ https://typespec.io/docs/standard-library/examples/#scalar-types

import "@typespec/http";
import "@typespec/openapi";
import "@typespec/openapi3";

using Http;
using OpenAPI;

@service
namespace Hello;

@example(#{
  created: utcDateTime.fromISO("2020-01-01T00:00:00Z")
})
model Entry {
  @encode(DateTimeKnownEncoding.unixTimestamp, int64)
  created: utcDateTime; // unixTime in seconds
}

@route("/")
@get
op getEntry() : Entry;

Published: 2025-06-05(Thu) 23:56