Используя компилятор машинописного текста, можно ли проверить, что типы элементов интерфейса являются одним из фиксированного набора?Например, если я хотел убедиться, что все они могут быть сериализованы, я мог бы разрешить только строки и числа (я знаю, что другие типы могут быть сериализованы), и хочу, чтобы компилятор жаловался, если я использовал элемент с другим типом?