Solving the halting problem using TypeScript

haltingProblem.ts

type AnyFunction = () => any;

/**
 * Returns true if running `func()` reaches a return statement.
 * Otherwise, if it loops forever, returns false.
 * @author God. This function is always right.
 */
declare function doesReturn(func: AnyFunction): boolean;

function test(): void | never {
    if (doesReturn(test)) {
        while (true);
    }
    else {
        return;
    }
}

// paradox
test();

Link to TypeScript Playground