JSDoc type tags don't check that that type arguments are correct

[sandersn]

(Found while fixing #24283)

type A<T extends string> = { a: T }

/** Also fails if template tags allow constraints
 * @template {string} U
 * @typedef {{ b: U }} B
 */
/** @type {A<number>} */
var a;
/** @type {B<number>} */
var b;

Expected behavior:
Error in both type tags: 'number' is not assignable to 'string'

Actual behavior:
No error.