/** @type {number} */
const d1 = 42;
/** @satisfies {number} */
const d2 = 42;
const e1 = /** @type {number} */(23);
const e2 = /** @satisfies {number} */(23);