Может утверждать, что переменная является экземпляром String в Deno

Здесь явно есть обходной путь, чтобы использовать typeof. Но я хотел бы знать, как решить эту Уловку-22.

Это не Уловка-22 , а ложная предпосылка . В JavaScript: хотя примитивы в некоторых аспектах выглядят как объекты , они не являются объектами (см. типы данных и структуры данных JavaScript ) — поэтому они не являются полезными операндами для использования с instanceof , потому что оценка всегда будет false (см. спецификацию):

instanceof

Оператор instanceof проверяет, появляется ли свойство прототипа конструктора где-либо в цепочке прототипов объекта.

Для строк это объясняется далее в статье MDN String в разделе Строковые примитивы и объекты String.

Ниже приведен пример кода, демонстрирующий, как различать и утверждать, является ли значение строковым литералом или экземпляром объекта String , используя стандартную библиотеку тестирования Deno и определяемые пользователем функции защиты типа.

Игровая площадка ТС

module.ts:

import { assert } from "https://deno.land/[email protected]/testing/asserts.ts";

function isStringLiteral(actual: unknown): actual is string {
  return typeof actual === "string";
}

function isStringInstance(actual: unknown): actual is String {
  return typeof actual === "object" && actual instanceof String;
}

function isAnyString(actual: unknown): actual is string | String {
  return isStringLiteral(actual) || isStringInstance(actual);
}

const testCases: [name: string, value: unknown][] = [
  ["string literal", "foo"],
  ["string instance", new String("foo")],
  ["number literal", 42],
  ["number instance", new Number(42)],
];

console.info("Testing for string types...");

for (const [name, value] of testCases) {
  try {
    assert(isAnyString(value));
    console.info("✅", name);
  } catch {
    console.error("❌", name);
    continue;
  }

  try {
    assert(isStringLiteral(value));
    console.info("type:", "literal");
  } catch {
    assert(isStringInstance(value));
    console.info("type:", "instance");
  }
}

Выход:

% deno --version
deno 1.30.0 (release, x86_64-apple-darwin)
v8 10.9.194.5
typescript 4.9.4

% deno check module.ts

% echo $?
0

% deno run module.ts
Testing for string types...
✅ string literal
type: literal
✅ string instance
type: instance
❌ number literal
❌ number instance

Скомпилированный JavaScript со встроенным импортом:

// import { assert } from "https://deno.land/[email protected]/testing/asserts.ts";

// ---> Begin inlined imports

// https://deno.land/[email protected]/testing/asserts.ts?source#L19
class AssertionError extends Error {
  name = "AssertionError";
  constructor(message) {
    super(message);
  }
}

// https://deno.land/[email protected]/testing/asserts.ts?source#L138
/** Make an assertion, error will be thrown if `expr` does not have truthy value. */
function assert(expr, msg = "") {
  if (!expr) {
    throw new AssertionError(msg);
  }
}

// <--- End inlined imports

function isStringLiteral(actual) {
  return typeof actual === "string";
}
function isStringInstance(actual) {
  return typeof actual === "object" && actual instanceof String;
}
function isAnyString(actual) {
  return isStringLiteral(actual) || isStringInstance(actual);
}
const testCases = [["string literal", "foo"], ["string instance", new String("foo")], ["number literal", 42], ["number instance", new Number(42)]];
console.info("Testing for string types...");
for (const [name, value] of testCases) {
  try {
    assert(isAnyString(value));
    console.info("✅", name);
  } catch {
    console.error("❌", name);
    continue;
  }
  try {
    assert(isStringLiteral(value));
    console.info("type:", "literal");
  } catch {
    assert(isStringInstance(value));
    console.info("type:", "instance");
  }
}