nope, but cool idea maybe you can request this to the community: https://www.typescriptlang.org/community/

you can take your type model a step further by setting 'offer' and 'answer' as never for explicit type safety where they are not supposed to be defined