cf787e9bcf
* Fix name resolution in typedef and allow defaults for template tags * Inline parseBracketNameInTemplateTag * Update baselines * Add js declaration emit tests
187 lines
5.1 KiB
TypeScript
187 lines
5.1 KiB
TypeScript
//// [file.js]
|
|
/**
|
|
* @template {string | number} [T=string] - ok: defaults are permitted
|
|
* @typedef {[T]} A
|
|
*/
|
|
|
|
/** @type {A} */ // ok, default for `T` in `A` is `string`
|
|
const aDefault1 = [""];
|
|
/** @type {A} */ // error: `number` is not assignable to string`
|
|
const aDefault2 = [0];
|
|
/** @type {A<string>} */ // ok, `T` is provided for `A`
|
|
const aString = [""];
|
|
/** @type {A<number>} */ // ok, `T` is provided for `A`
|
|
const aNumber = [0];
|
|
|
|
/**
|
|
* @template T
|
|
* @template [U=T] - ok: default can reference earlier type parameter
|
|
* @typedef {[T, U]} B
|
|
*/
|
|
|
|
/**
|
|
* @template {string | number} [T] - error: default requires an `=type`
|
|
* @typedef {[T]} C
|
|
*/
|
|
|
|
/**
|
|
* @template {string | number} [T=] - error: default requires a `type`
|
|
* @typedef {[T]} D
|
|
*/
|
|
|
|
/**
|
|
* @template {string | number} [T=string]
|
|
* @template U - error: Required type parameters cannot follow optional type parameters
|
|
* @typedef {[T, U]} E
|
|
*/
|
|
|
|
/**
|
|
* @template [T=U] - error: Type parameter defaults can only reference previously declared type parameters.
|
|
* @template [U=T]
|
|
* @typedef {[T, U]} G
|
|
*/
|
|
|
|
/**
|
|
* @template T
|
|
* @template [U=T] - ok: default can reference earlier type parameter
|
|
* @param {T} a
|
|
* @param {U} b
|
|
*/
|
|
function f1(a, b) {}
|
|
|
|
/**
|
|
* @template {string | number} [T=string]
|
|
* @template U - error: Required type parameters cannot follow optional type parameters
|
|
* @param {T} a
|
|
* @param {U} b
|
|
*/
|
|
function f2(a, b) {}
|
|
|
|
/**
|
|
* @template [T=U] - error: Type parameter defaults can only reference previously declared type parameters.
|
|
* @template [U=T]
|
|
* @param {T} a
|
|
* @param {U} b
|
|
*/
|
|
function f3(a, b) {}
|
|
|
|
|
|
//// [file.js]
|
|
/**
|
|
* @template {string | number} [T=string] - ok: defaults are permitted
|
|
* @typedef {[T]} A
|
|
*/
|
|
/** @type {A} */ // ok, default for `T` in `A` is `string`
|
|
var aDefault1 = [""];
|
|
/** @type {A} */ // error: `number` is not assignable to string`
|
|
var aDefault2 = [0];
|
|
/** @type {A<string>} */ // ok, `T` is provided for `A`
|
|
var aString = [""];
|
|
/** @type {A<number>} */ // ok, `T` is provided for `A`
|
|
var aNumber = [0];
|
|
/**
|
|
* @template T
|
|
* @template [U=T] - ok: default can reference earlier type parameter
|
|
* @typedef {[T, U]} B
|
|
*/
|
|
/**
|
|
* @template {string | number} [T] - error: default requires an `=type`
|
|
* @typedef {[T]} C
|
|
*/
|
|
/**
|
|
* @template {string | number} [T=] - error: default requires a `type`
|
|
* @typedef {[T]} D
|
|
*/
|
|
/**
|
|
* @template {string | number} [T=string]
|
|
* @template U - error: Required type parameters cannot follow optional type parameters
|
|
* @typedef {[T, U]} E
|
|
*/
|
|
/**
|
|
* @template [T=U] - error: Type parameter defaults can only reference previously declared type parameters.
|
|
* @template [U=T]
|
|
* @typedef {[T, U]} G
|
|
*/
|
|
/**
|
|
* @template T
|
|
* @template [U=T] - ok: default can reference earlier type parameter
|
|
* @param {T} a
|
|
* @param {U} b
|
|
*/
|
|
function f1(a, b) { }
|
|
/**
|
|
* @template {string | number} [T=string]
|
|
* @template U - error: Required type parameters cannot follow optional type parameters
|
|
* @param {T} a
|
|
* @param {U} b
|
|
*/
|
|
function f2(a, b) { }
|
|
/**
|
|
* @template [T=U] - error: Type parameter defaults can only reference previously declared type parameters.
|
|
* @template [U=T]
|
|
* @param {T} a
|
|
* @param {U} b
|
|
*/
|
|
function f3(a, b) { }
|
|
|
|
|
|
//// [file.d.ts]
|
|
/**
|
|
* @template T
|
|
* @template [U=T] - ok: default can reference earlier type parameter
|
|
* @typedef {[T, U]} B
|
|
*/
|
|
/**
|
|
* @template {string | number} [T] - error: default requires an `=type`
|
|
* @typedef {[T]} C
|
|
*/
|
|
/**
|
|
* @template {string | number} [T=] - error: default requires a `type`
|
|
* @typedef {[T]} D
|
|
*/
|
|
/**
|
|
* @template {string | number} [T=string]
|
|
* @template U - error: Required type parameters cannot follow optional type parameters
|
|
* @typedef {[T, U]} E
|
|
*/
|
|
/**
|
|
* @template [T=U] - error: Type parameter defaults can only reference previously declared type parameters.
|
|
* @template [U=T]
|
|
* @typedef {[T, U]} G
|
|
*/
|
|
/**
|
|
* @template T
|
|
* @template [U=T] - ok: default can reference earlier type parameter
|
|
* @param {T} a
|
|
* @param {U} b
|
|
*/
|
|
declare function f1<T, U = T>(a: T, b: U): void;
|
|
/**
|
|
* @template {string | number} [T=string]
|
|
* @template U - error: Required type parameters cannot follow optional type parameters
|
|
* @param {T} a
|
|
* @param {U} b
|
|
*/
|
|
declare function f2<T extends string | number = string, U>(a: T, b: U): void;
|
|
/**
|
|
* @template [T=U] - error: Type parameter defaults can only reference previously declared type parameters.
|
|
* @template [U=T]
|
|
* @param {T} a
|
|
* @param {U} b
|
|
*/
|
|
declare function f3<T = U, U = T>(a: T, b: U): void;
|
|
/**
|
|
* @template {string | number} [T=string] - ok: defaults are permitted
|
|
* @typedef {[T]} A
|
|
*/
|
|
/** @type {A} */ declare const aDefault1: A<string>;
|
|
/** @type {A} */ declare const aDefault2: A<string>;
|
|
/** @type {A<string>} */ declare const aString: A<string>;
|
|
/** @type {A<number>} */ declare const aNumber: A<number>;
|
|
type B<T, U = T> = [T, U];
|
|
type C<T extends string | number = any> = [T];
|
|
type D<T extends string | number = any> = [T];
|
|
type E<T extends string | number = string, U> = [T, U];
|
|
type G<T = U, U = T> = [T, U];
|
|
type A<T extends string | number = string> = [T];
|