使用泛型一致定义回调的 JSDoc 语法是什么？

Question

我有以下身份函数的 JSDoc 定义：

/**
 * @template T
 * @callback id
 * @param {T} x
 * @returns {T}
 */

当我将它与普通函数定义一起使用时，它按预期工作，没有抱怨：

import { writable, derived } from 'svelte/store'

/**
 * @template T
 * @type {id<T>}
 */
function identity (x) {
  return x
}
const number = identity(writable(42))
identity(derived(number, $number => $number * 2))

它正确地推断 number 是一个 Writable。（来自 Svelte 定义），因此 $number 是一个 number。

然而，当在另一个函数中定义该函数时，从 identity 返回的类型会丢失：

/**
 * @template T
 * @param {(identity: id<T>) => unknown} definition
 */
function Model (definition) {
  /**
   * @template T
   * @type {id<T>}
   */
  function identity (x) {
    return x
  }
  return definition(identity)
}

Model(function (identity) {
  const number = identity(writable(42))
  identity(derived(number, $number => $number * 2))
})

在这种情况下，number 是 any，因此 $number 是 unknown，因此它会抱怨：“算术运算的左侧必须是 'any'、'number'、'bigint' 类型或枚举类型”。

两者为何有差异？以及如何调整它以确保它推断出正确的类型？

谢谢！