Как объявить два непеременных типа?

Question

У меня есть привязка FFI, и есть несколько мест, где используется void *. Я бы хотел отличить их от стороны с машинописным текстом. Что я делаю:

interface Struct1Ptr extends Buffer {}; 
interface Struct2Ptr extends Buffer {}; 
var x: Struct1Ptr; 
var y: Struct2Ptr; 

Я хотел бы, чтобы эти типы не могущий быть переданным, уступленным, цедированным, так как сигнал, что ошибка при попытке назначить x = y или y = x или использовать неправильный тип в качестве аргументов функций.

Answer 1

Машинопись использует структурную типизацию для всех, так что вы на самом деле нужно сделать их структурно разные, например:

interface Struct1Ptr extends Buffer { _isStruct1: void }; 
interface Struct2Ptr extends Buffer { _isStruct2: void }; 
var x: Struct1Ptr; 
var y: Struct2Ptr;