semantic.ts

import { SemVar } from 'validated-types'; type IsRecursiveCall = SemVar<boolean, 'isRecursiveCall'> type IsInternalCall = SemVar<boolean, 'isInternalCall'>; function myFunc(isRecursiveCall: IsRecursiveCall, isInternalCall: IsInternalCall) { console.log(isRecursiveCall.value); console.log(isInternalCall.value); } // Only this will succeed myFunc(new SemVar('isRecursiveCall', false), new SemVar('isInternalCall', true)); // These will fail during compilation myFunc(new SemVar('isInternalCall', true), new SemVar('isRecursiveCall', false)); myFunc(true, true); myFunc(new SemVar('isSomethingElse', true), new SemVar('isInternalCall', true)); myFunc(new SemVar('isRecursiveCall', false), new SemVar('isSomethingElse', true)); myFunc(new SemVar('isSomethingElse', true), new SemVar('isSomethingElse', true));