Typespec overriding