Вопрос некорректен. экземпляр класса B в момент выполнения кода в конструкторе ничему не может быть присвоен. Сначала выполняется конструктор типа, а потом экземпляр может попасть или в prop1 Или prop2.

Компилятор typescript не обрабатывает шаблоны компонентов, поэтому при компиляции мы не получим ошибку. Как workaround могу предложить следующее - преобразуйте data в проперти и в методе set уже в рантайме проверяйте входящий тип. Или напишите свой декоратор, который будет уже в декларативном стиле проверять входящие типы значений.