0e905be42b
* Switch index signature storage to 'indexInfos: IndexInfo[]' property * Accept new baselines * Remove another usage of IndexKind enum * Update getIndexedAccessType and resolveMappedTypeMembers * Accept new baselines * Update grammar checking for index signatures * Accept new baselines * Consider all index signatures in mapped types and union types * Accept new baselines * Update getIndexType * Accept new baselines * Intersect multiple applicable index signatures * Use getApplicableIndexInfo instead of hardwired string/number handling * Update index signature relationship checking * Report type for which index signature is missing * Report type for which index signature is missing * Accept new baselines * Make 'number' index signatures consistently apply to numeric strings * Accept new baselines * Update fourslash test * Revise index constraint checking * Accept new baselines * Update error messages * Accept new baselines * Update type inference from index signatures * Update isKnownProperty * Update contextual typing based on index signatures * Accept new baselines * Support union types in index signature declarations * Accept new baselines * Check duplicate index signatures / remove redundant template literals from unions with string * Accept new baselines * Include key type in diagnostic / check symbol-named properties * Accept new baselines * Minor fix * Add tests * Accept new baselines * Add optimized findApplicableIndexInfoForName * Accept new baselines * Another place we don't need to obtain literal type for property name * Accept new baselines * Don't create literal types that are going to be discarded * Individual maps for string, number, bigint, and enum literal types * Remove ineffective optimizations * Accept new baselines * Permit intersections as key types in index signatures * Index expression in element access is template literal context * Add tests * Accept new baselines * Symbol index signatures from object literals with computed symbol properties * Accept new baselines * Add more tests * Accept new baselines * Implement Go To Definition for all applicable index signatures * Add fourslash test * Accept new API baselines
63 lines
3.7 KiB
Plaintext
63 lines
3.7 KiB
Plaintext
tests/cases/compiler/file1.js(2,7): error TS2322: Type 'C' is not assignable to type 'ClassComponent<any>'.
|
|
tests/cases/compiler/tile1.ts(2,30): error TS2344: Type 'State' does not satisfy the constraint 'Lifecycle<Attrs, State>'.
|
|
tests/cases/compiler/tile1.ts(6,81): error TS2744: Type parameter defaults can only reference previously declared type parameters.
|
|
tests/cases/compiler/tile1.ts(11,40): error TS2344: Type 'State' does not satisfy the constraint 'Lifecycle<Attrs, State>'.
|
|
tests/cases/compiler/tile1.ts(21,2): error TS2416: Property 'view' in type 'C' is not assignable to the same property in base type 'ClassComponent<MyAttrs>'.
|
|
Type '(v: Vnode<MyAttrs, Lifecycle<MyAttrs, any>>) => number' is not assignable to type '(vnode: Vnode<MyAttrs, this>) => number'.
|
|
Types of parameters 'v' and 'vnode' are incompatible.
|
|
Type 'Vnode<MyAttrs, this>' is not assignable to type 'Vnode<MyAttrs, Lifecycle<MyAttrs, any>>'.
|
|
Type 'this' is not assignable to type 'Lifecycle<MyAttrs, any>'.
|
|
Type 'C' is not assignable to type 'Lifecycle<MyAttrs, any>'.
|
|
Index signature for type 'number' is missing in type 'C'.
|
|
tests/cases/compiler/tile1.ts(24,7): error TS2322: Type 'C' is not assignable to type 'ClassComponent<any>'.
|
|
Index signature for type 'number' is missing in type 'C'.
|
|
|
|
|
|
==== tests/cases/compiler/tile1.ts (5 errors) ====
|
|
interface Lifecycle<Attrs, State> {
|
|
oninit?(vnode: Vnode<Attrs, State>): number;
|
|
~~~~~
|
|
!!! error TS2344: Type 'State' does not satisfy the constraint 'Lifecycle<Attrs, State>'.
|
|
[_: number]: any;
|
|
}
|
|
|
|
interface Vnode<Attrs, State extends Lifecycle<Attrs, State> = Lifecycle<Attrs, State>> {
|
|
~~~~~
|
|
!!! error TS2744: Type parameter defaults can only reference previously declared type parameters.
|
|
tag: Component<Attrs, State>;
|
|
}
|
|
|
|
interface Component<Attrs, State> {
|
|
view(this: State, vnode: Vnode<Attrs, State>): number;
|
|
~~~~~
|
|
!!! error TS2344: Type 'State' does not satisfy the constraint 'Lifecycle<Attrs, State>'.
|
|
}
|
|
|
|
interface ClassComponent<A> extends Lifecycle<A, ClassComponent<A>> {
|
|
oninit?(vnode: Vnode<A, this>): number;
|
|
view(vnode: Vnode<A, this>): number;
|
|
}
|
|
|
|
interface MyAttrs { id: number }
|
|
class C implements ClassComponent<MyAttrs> {
|
|
view(v: Vnode<MyAttrs>) { return 0; }
|
|
~~~~
|
|
!!! error TS2416: Property 'view' in type 'C' is not assignable to the same property in base type 'ClassComponent<MyAttrs>'.
|
|
!!! error TS2416: Type '(v: Vnode<MyAttrs, Lifecycle<MyAttrs, any>>) => number' is not assignable to type '(vnode: Vnode<MyAttrs, this>) => number'.
|
|
!!! error TS2416: Types of parameters 'v' and 'vnode' are incompatible.
|
|
!!! error TS2416: Type 'Vnode<MyAttrs, this>' is not assignable to type 'Vnode<MyAttrs, Lifecycle<MyAttrs, any>>'.
|
|
!!! error TS2416: Type 'this' is not assignable to type 'Lifecycle<MyAttrs, any>'.
|
|
!!! error TS2416: Type 'C' is not assignable to type 'Lifecycle<MyAttrs, any>'.
|
|
!!! error TS2416: Index signature for type 'number' is missing in type 'C'.
|
|
}
|
|
|
|
const test8: ClassComponent<any> = new C();
|
|
~~~~~
|
|
!!! error TS2322: Type 'C' is not assignable to type 'ClassComponent<any>'.
|
|
!!! error TS2322: Index signature for type 'number' is missing in type 'C'.
|
|
==== tests/cases/compiler/file1.js (1 errors) ====
|
|
/** @type {ClassComponent<any>} */
|
|
const test9 = new C();
|
|
~~~~~
|
|
!!! error TS2322: Type 'C' is not assignable to type 'ClassComponent<any>'.
|
|
|