4f5bbd00e6
* Add case for type related to for generic mapped type with as clause target * Clean up code and add baselines * cleanup
40 lines
2 KiB
Plaintext
40 lines
2 KiB
Plaintext
tests/cases/conformance/types/mapped/mappedTypeAsClauseRelationships.ts(12,9): error TS2322: Type 'T' is not assignable to type 'Modify<T>'.
|
|
tests/cases/conformance/types/mapped/mappedTypeAsClauseRelationships.ts(23,9): error TS2322: Type 'T' is not assignable to type 'FilterExclOpt<T>'.
|
|
tests/cases/conformance/types/mapped/mappedTypeAsClauseRelationships.ts(24,9): error TS2322: Type 'T' is not assignable to type 'ModifyExclOpt<T>'.
|
|
|
|
|
|
==== tests/cases/conformance/types/mapped/mappedTypeAsClauseRelationships.ts (3 errors) ====
|
|
// From original issue #45212:
|
|
type Methods<T> = { [P in keyof T as T[P] extends Function ? P : never]: T[P] };
|
|
type H<T> = T[keyof Methods<T>]; // Ok
|
|
|
|
// `Filter<T>` only filters out some keys of `T`.
|
|
type Filter<T> = { [P in keyof T as T[P] extends Function ? P : never]: T[P] };
|
|
// `Modify<T>` might modify some keys of `T`.
|
|
type Modify<T> = { [P in keyof T as P extends string? `bool${P}`: P]: T[P] };
|
|
|
|
function fun<T>(val: T) {
|
|
let x: Filter<T> = val; // Ok
|
|
let y: Modify<T> = val; // Error
|
|
~
|
|
!!! error TS2322: Type 'T' is not assignable to type 'Modify<T>'.
|
|
}
|
|
|
|
type FilterInclOpt<T> = { [P in keyof T as T[P] extends Function ? P : never]+?: T[P] };
|
|
type ModifyInclOpt<T> = { [P in keyof T as P extends string? `bool${P}`: never ]+?: T[P] };
|
|
type FilterExclOpt<T> = { [P in keyof T as T[P] extends Function ? P : never]-?: T[P] };
|
|
type ModifyExclOpt<T> = { [P in keyof T as P extends string? `bool${P}`: never ]-?: T[P] };
|
|
|
|
function fun2<T>(val: T) {
|
|
let x: FilterInclOpt<T> = val; // Ok
|
|
let y: ModifyInclOpt<T> = val; // Ok
|
|
let z: FilterExclOpt<T> = val; // Error
|
|
~
|
|
!!! error TS2322: Type 'T' is not assignable to type 'FilterExclOpt<T>'.
|
|
let w: ModifyExclOpt<T> = val; // Error
|
|
~
|
|
!!! error TS2322: Type 'T' is not assignable to type 'ModifyExclOpt<T>'.
|
|
}
|
|
|
|
|
|
|