[NewErrors] 4.8.0-dev.20220609 vs 4.7.3

[typescript-bot]

The following errors were reported by 4.8.0-dev.20220609, but not by 4.7.3
Pipeline that generated this bug
File that generated the pipeline

kamranahmedse/developer-roadmap

tsconfig.json

• error TS2344: Type 'K' does not satisfy the constraint 'Record<string, any>'.
  • file:///mnt/ts_downloads/developer-roadmap/node_modules/@chakra-ui/descendant/src/use-descendant.ts#L11
  • file:///mnt/ts_downloads/developer-roadmap/node_modules/@chakra-ui/descendant/src/use-descendant.ts#L87
  • file:///mnt/ts_downloads/developer-roadmap/node_modules/@chakra-ui/descendant/src/use-descendant.ts#L91

coder/code-server

7 of 57 projects failed to build with the old tsc

src/tsconfig.monaco.json

• error TS2322: Type '(_target: T, propKey: PropertyKey) => unknown' is not assignable to type '(target: object, p: string | symbol, receiver: any) => any'.
  • src/vs/base/parts/ipc/common/ipc.ts#L1116

src/tsconfig.tsec.json

• error TS2322: Type '(_target: T, propKey: PropertyKey) => unknown' is not assignable to type '(target: object, p: string | symbol, receiver: any) => any'.
  • src/vs/base/parts/ipc/common/ipc.ts#L1116
• error TS2322: Type 'T' is not assignable to type 'RemoteServiceStub<T>'.
  • src/vs/platform/ipc/electron-sandbox/services.ts#L23
• error TS2409: Return type of constructor signature must be assignable to the instance type of the class.
  • src/vs/platform/ipc/electron-sandbox/services.ts#L23

microsoft/playwright

4 of 9 projects failed to build with the old tsc

packages/html-reporter/tsconfig.json

• error TS2344: Type 'T' does not satisfy the constraint 'Channel'.
  • packages/playwright-core/src/client/connection.ts#L59

vercel/hyper

2 of 3 projects failed to build with the old tsc

tsconfig.json

• error TS2344: Type 'BaseType' does not satisfy the constraint 'Record<string | number, any>'.
  • file:///mnt/ts_downloads/hyper/app/node_modules/type-fest/ts41/get.d.ts#L93 in app/tsconfig.json
  • file:///mnt/ts_downloads/hyper/app/node_modules/type-fest/ts41/get.d.ts#L94 in app/tsconfig.json
• error TS2344: Type 'T' does not satisfy the constraint 'Record<string, any>'.
  • file:///mnt/ts_downloads/hyper/app/node_modules/conf/dist/source/types.d.ts#L201 in app/tsconfig.json

react-hook-form/react-hook-form

2 of 3 projects failed to build with the old tsc

tsconfig.json

• error TS2344: Type 'TFieldValues' does not satisfy the constraint 'FieldValues'.
  • src/tests/controller.test.tsx#L21
  • src/logic/getResolverOptions.ts#L27
  • src/types/fieldArray.ts#L99
  • src/types/fieldArray.ts#L99
  • src/types/fieldArray.ts#L102
  • src/types/fieldArray.ts#L103
  • src/types/fieldArray.ts#L130
  • src/types/fieldArray.ts#L130
  • src/types/fieldArray.ts#L133
  • src/types/fieldArray.ts#L134
  • src/types/fieldArray.ts#L183
  • src/types/fieldArray.ts#L183
  • src/types/fieldArray.ts#L187
  • src/types/fieldArray.ts#L188
  • src/types/fieldArray.ts#L214
  • src/types/fieldArray.ts#L214
  • src/types/fieldArray.ts#L217
  • src/types/fieldArray.ts#L240
  • src/types/fieldArray.ts#L240
  • src/types/fieldArray.ts#L243
  • src/types/fieldArray.ts#L244
  • src/types/form.ts#L117
  • src/types/form.ts#L121
  • src/types/form.ts#L125
  • src/types/form.ts#L140
  • src/types/form.ts#L706
  • src/types/form.ts#L706
  • src/types/form.ts#L710
  • src/types/form.ts#L757
  • src/types/form.ts#L785
  • src/types/form.ts#L788
  • src/types/form.ts#L789
  • src/types/form.ts#L790
  • src/types/resolvers.ts#L22
  • src/useWatch.ts#L147
• error TS2344: Type 'T' does not satisfy the constraint 'FieldValues'.
  • src/tests/useController.test.tsx#L561
  • src/tests/useController.test.tsx#L562
• error TS2322: Type 'Control<T, any>' is not assignable to type 'Control<FieldValues, any>'.
  • src/tests/useController.test.tsx#L567
• error TS2345: Argument of type 'U' is not assignable to parameter of type 'Partial<{ shouldValidate: boolean; shouldDirty: boolean; shouldTouch: boolean; }> | undefined'.
  • src/logic/createFormControl.ts#L603
• error TS2533: Object is possibly 'null' or 'undefined'.
  • src/logic/getFieldValueAs.ts#L14
  • src/logic/validateField.ts#L121

typeorm/typeorm

tsconfig.json

• error TS2344: Type 'Entity' does not satisfy the constraint 'ObjectLiteral'.
  • src/data-source/DataSource.ts#L430
  • src/data-source/DataSource.ts#L450
  • src/entity-manager/EntityManager.ts#L1287
  • src/entity-manager/EntityManager.ts#L1344
  • src/entity-manager/EntityManager.ts#L1353
  • src/globals.ts#L180
  • src/globals.ts#L222
  • src/repository/TreeRepository.ts#L15
• error TS2345: Argument of type 'DeepPartial<Entity>' is not assignable to parameter of type 'ObjectLiteral'.
  • src/entity-manager/EntityManager.ts#L311
  • src/entity-manager/EntityManager.ts#L333
• error TS2345: Argument of type 'T | T[]' is not assignable to parameter of type 'ObjectLiteral | ObjectLiteral[]'.
  • src/entity-manager/EntityManager.ts#L433
  • src/entity-manager/EntityManager.ts#L573
  • src/entity-manager/EntityManager.ts#L646
• error TS2345: Argument of type 'Entity | Entity[]' is not assignable to parameter of type 'ObjectLiteral | ObjectLiteral[]'.
  • src/entity-manager/EntityManager.ts#L500
• error TS2345: Argument of type 'EntityTarget<Entity>' is not assignable to parameter of type 'EntityTarget<ObjectLiteral>'.
  • src/entity-manager/EntityManager.ts#L1297
  • src/entity-manager/EntityManager.ts#L1359
• error TS2322: Type 'MongoRepository<ObjectLiteral>' is not assignable to type 'Repository<Entity>'.
  • src/entity-manager/EntityManager.ts#L1302
• error TS2345: Argument of type 'Entity[]' is not assignable to parameter of type 'ObjectLiteral[]'.
  • src/entity-manager/MongoEntityManager.ts#L1103
  • src/entity-manager/MongoEntityManager.ts#L1119
• error TS2345: Argument of type 'E1 | E1[]' is not assignable to parameter of type 'ObjectLiteral | ObjectLiteral[]'.
  • src/query-builder/RelationIdLoader.ts#L78
  • src/query-builder/RelationIdLoader.ts#L91
• error TS2345: Argument of type 'Entity' is not assignable to parameter of type 'ObjectLiteral | undefined'.
  • src/query-builder/SoftDeleteQueryBuilder.ts#L414
  • src/query-builder/UpdateQueryBuilder.ts#L445
  • src/repository/TreeRepository.ts#L216
  • src/repository/TreeRepository.ts#L390
• error TS2322: Type 'Entity[]' is not assignable to type 'ObjectLiteral[]'.
  • src/query-builder/SoftDeleteQueryBuilder.ts#L423
  • src/query-builder/UpdateQueryBuilder.ts#L454
• error TS2345: Argument of type 'T' is not assignable to parameter of type 'ObjectLiteral'.
  • src/query-builder/transformer/PlainObjectToNewEntityTransformer.ts#L23
• error TS2344: Type 'T' does not satisfy the constraint 'ObjectLiteral'.
  • src/repository/AbstractRepository.ts#L88
  • test/github-issues/8681/issue-8681.ts#L49
• error TS2345: Argument of type 'Entity' is not assignable to parameter of type 'ObjectLiteral'.
  • src/repository/TreeRepository.ts#L154
  • src/repository/TreeRepository.ts#L192
  • src/repository/TreeRepository.ts#L325
  • src/repository/TreeRepository.ts#L365
• error TS2769: No overload matches this call.
  • test/github-issues/2871/enumTools.ts#L19
• error TS2322: Type 'Repository<ObjectLiteral>' is not assignable to type 'Repository<T>'.
  • test/github-issues/8681/issue-8681.ts#L51

mobxjs/mobx

7 of 9 projects failed to build with the old tsc

packages/mobx/tsconfig.json

• error TS2322: Type 'IIsObservableObject & Object' is not assignable to type 'T'.
  • packages/mobx/src/api/observable.ts#L214
• error TS2345: Argument of type 'T' is not assignable to parameter of type 'Object'.
  • packages/mobx/src/api/observable.ts#L218

palantir/blueprint

13 of 27 projects failed to build with the old tsc

packages/datetime/src/tsconfig.json

• error TS2339: Property 'className' does not exist on type '{}'.
  • packages/datetime/src/dateInput.tsx#L237
• error TS2339: Property 'popoverClassName' does not exist on type '{}'.
  • packages/datetime/src/dateInput.tsx#L241
• error TS2339: Property 'onClose' does not exist on type '{}'.
  • packages/datetime/src/dateInput.tsx#L284

packages/select/src/tsconfig.json

• error TS2339: Property 'fill' does not exist on type '{}'.
  • packages/select/src/components/multi-select/multiSelect.tsx#L161
  • packages/select/src/components/multi-select/multiSelect.tsx#L162
  • packages/select/src/components/select/select.tsx#L164
  • packages/select/src/components/suggest/suggest.tsx#L197
• error TS2339: Property 'inputProps' does not exist on type '{}'.
  • packages/select/src/components/multi-select/multiSelect.tsx#L167
  • packages/select/src/components/multi-select/multiSelect.tsx#L168
• error TS2339: Property 'className' does not exist on type '{}'.
  • packages/select/src/components/multi-select/multiSelect.tsx#L186
  • packages/select/src/components/multi-select/multiSelect.tsx#L199
  • packages/select/src/components/select/select.tsx#L207
  • packages/select/src/components/suggest/suggest.tsx#L209
• error TS2339: Property 'popoverClassName' does not exist on type '{}'.
  • packages/select/src/components/multi-select/multiSelect.tsx#L189
  • packages/select/src/components/select/select.tsx#L209
  • packages/select/src/components/suggest/suggest.tsx#L212
• error TS2339: Property 'modifiers' does not exist on type '{}'.
  • packages/select/src/components/select/select.tsx#L168
  • packages/select/src/components/select/select.tsx#L169
  • packages/select/src/components/select/select.tsx#L172
• error TS7006: Parameter 'data' implicitly has an 'any' type.
  • packages/select/src/components/select/select.tsx#L174
• error TS2339: Property 'usePortal' does not exist on type '{}'.
  • packages/select/src/components/select/select.tsx#L181
• error TS2339: Property 'wrapperTagName' does not exist on type '{}'.
  • packages/select/src/components/select/select.tsx#L182

apollographql/apollo-client

tsconfig.json

• error TS2345: Argument of type '{ store: EntityStore; rootId: string; config: InMemoryCacheConfig; previousResult?: any; optimistic: boolean; returnPartialData?: boolean | undefined; canonizeResults?: boolean | undefined; query: DocumentNode | TypedDocumentNode<...>; variables?: TVariables | undefined; id?: string | undefined; }' is not assignable to parameter of type 'DiffQueryAgainstStoreOptions'.
  • src/cache/inmemory/inMemoryCache.ts#L232
• error TS2345: Argument of type 'SubscriptionOptions<TVariables, T>' is not assignable to parameter of type 'SubscriptionOptions<OperationVariables, any>'.
  • src/core/ApolloClient.ts#L364
• error TS2322: Type 'TSubscriptionVariables | undefined' is not assignable to type 'OperationVariables | undefined'.
  • src/core/ObservableQuery.ts#L515
• error TS2345: Argument of type 'TVariables' is not assignable to parameter of type 'OperationVariables | undefined'.
  • src/core/QueryManager.ts#L196
• error TS2345: Argument of type 'TVariables | undefined' is not assignable to parameter of type 'OperationVariables | undefined'.
  • src/core/QueryManager.ts#L239
• error TS2322: Type 'ObservableQuery<T, TVariables>' is not assignable to type 'ObservableQuery<any, OperationVariables>'.
  • src/core/QueryManager.ts#L644
• error TS2322: Type 'TVariables | undefined' is not assignable to type 'Record<string, any> | undefined'.
  • src/core/QueryManager.ts#L645
• error TS2345: Argument of type 'TVars | undefined' is not assignable to parameter of type 'OperationVariables | undefined'.
  • src/core/QueryManager.ts#L1041
• error TS2345: Argument of type 'Pick<WatchQueryOptions<TVars, TData>, "variables" | "context" | "fetchPolicy" | "errorPolicy">' is not assignable to parameter of type 'Pick<WatchQueryOptions<OperationVariables, any>, "variables" | "fetchPolicy" | "errorPolicy">'.
  • src/core/QueryManager.ts#L1056
• error TS2345: Argument of type 'TVars | (undefined & TVars)' is not assignable to parameter of type 'OperationVariables | undefined'.
  • src/core/QueryManager.ts#L1153
• error TS2345: Argument of type '(variables: TVars) => ConcastSourcesIterable<ApolloQueryResult<TData>>' is not assignable to parameter of type '(value: { [x: string]: any; }) => ConcastSourcesIterable<ApolloQueryResult<TData>> | PromiseLike<ConcastSourcesIterable<ApolloQueryResult<TData>>>'.
  • src/core/QueryManager.ts#L1155
• error TS2345: Argument of type 'WatchQueryOptions<TVars, TData>' is not assignable to parameter of type 'WatchQueryOptions<OperationVariables, any>'.
  • src/core/QueryManager.ts#L1163
• error TS2322: Type 'TVars | undefined' is not assignable to type 'Record<string, any> | undefined'.
  • src/core/QueryManager.ts#L1346
  • src/core/QueryManager.ts#L1376
• error TS2345: Argument of type 'TVars | undefined' is not assignable to parameter of type 'Record<string, any> | undefined'.
  • src/core/QueryManager.ts#L1350
• error TS2345: Argument of type 'OperationOption<TProps, TData, TGraphQLVariables, TChildProps, DefaultContext, ApolloCache<any>>' is not assignable to parameter of type 'OperationOption<TProps, Record<string, any>, TGraphQLVariables, TChildProps, DefaultContext, ApolloCache<any>>'.
  • src/react/hoc/graphql.tsx#L28
• error TS2322: Type '(mutate: MutationFunction<TData, TGraphQLVariables>, { data, ...r }: MutationResult<TData>) => JSX.Element' is not assignable to type '(mutateFunction: MutationFunction<any, OperationVariables, DefaultContext, ApolloCache<any>>, result: MutationResult<...>) => Element | null'.
  • src/react/hoc/mutation-hoc.tsx#L75
• error TS2322: Type 'TProps & TChildProps' is not assignable to type 'IntrinsicAttributes & TProps & TChildProps & { children?: ReactNode; }'.
  • src/react/hoc/mutation-hoc.tsx#L105
  • src/react/hoc/query-hoc.tsx#L89
  • src/react/hoc/query-hoc.tsx#L119
  • src/react/hoc/subscription-hoc.tsx#L108
  • src/react/hoc/subscription-hoc.tsx#L138
• error TS2322: Type 'TChildProps' is not assignable to type '{ [x: string]: any; }'.
  • src/react/hoc/query-hoc.tsx#L115
  • src/react/hoc/subscription-hoc.tsx#L134
• error TS2769: No overload matches this call.
  • src/utilities/common/cloneDeep.ts#L30
• error TS2345: Argument of type 'TRelayEdge<TNode>' is not assignable to parameter of type 'Reference | StoreObject | undefined'.
  • src/utilities/policies/pagination.ts#L110

[RyanCavanaugh]

kamranahmedse/developer-roadmap - Ryan
coder/code-server - Daniel
microsoft/playwright - Andrew
vercel/hyper - Ryan
react-hook-form/react-hook-form - Daniel
typeorm/typeorm - Andrew
mobxjs/mobx - Ryan
palantir/blueprint - Daniel
apollographql/apollo-client - Andrew

collate

kamranahmedse/developer-roadmap - Ryan
mobxjs/mobx - Ryan
vercel/hyper - Ryan
react-hook-form/react-hook-form - Daniel
coder/code-server - Daniel
palantir/blueprint - Daniel
microsoft/playwright - Andrew
typeorm/typeorm - Andrew
apollographql/apollo-client - Andrew

[RyanCavanaugh]

kamranahmedse/developer-roadmap

const descendants = useRef(new DescendantsManager<T, K>())

Here, K is defaulted to { } but unconstrained. DescendantsManager's second type argument is constrained: K extends Record<string, any> = {}. There are two instances in this file. Adding extends Record<string, any> to both instances fixes the errors with no follow-on errors.

[ahejlsberg]

Note that I would expect a significant number of these to result from the fact that an unconstrained type parameter is no longer assignable to {} or Record<string, any> in --strictNullChecks mode (introduced in #49119, which re-incorporated the change from #48366). Those are entirely appropriate new errors since an unconstrained type parameter could be null or undefined.

[RyanCavanaugh]

mobxjs/mobx

This method called object has an unconstrained type parameter defaulted to any:

    object<T extends object = any>(
        props: T,
        decorators?: AnnotationsMap<T, never>,
        options?: CreateObservableOptions
    ): T {
        return extendObservable(
            globalState.useProxies === false || options?.proxy === false
                ? asObservableObject({}, options)
                : asDynamicObservableObject({}, options),
            props,
            decorators
        )
    },

it calls extendsObservable which has a constraint of Object (yes, Object) on both of its type parameters:

export function extendObservable<A extends Object, B extends Object>(

Adding extends object to T fixes the error with no follow-on errors.

[RyanCavanaugh]

vercel/hyper

All these breaks were in external .d.ts files.

conf had

export declare type Migrations<T> = Record<string, (store: Conf<T>) => void>;

where Conf<T> was constrained

declare class Conf<T extends Record<string, any> = Record<string, unknown>> 

This was fixable by upstreaming the constraint

type-fest had two instances

Key extends keyof WithStringKeys<BaseType>

 WithStringKeys<BaseType>[Key]

This required two layers of upstreaming the constraint, which in turn broke another package (electron-store) because we surfaced the constraint on Except's first type argument:

type Options<T> = Except<ConfOptions<T>, ...

[sandersn]

I believe conf and type-fest have fixes in their newest versions.
Edit: I double-checked, and they do.
Edit 2: electron-store also has a fix, but it hasn't shipped yet. I pinged Sindre about it.
Edit 3: electron-store shipped its fix about 10 hours ago.

[andrewbranch]

playwright

Ostensibly a missing constraint on the type parameter of a subclass whose superclass required a constraint. However, the type of said type parameter is never meaningfully witnessed in the subclass. Its only usage is like this:

class DummyChannelOwner<T> extends ChannelOwner<T> {} // unconstrained `T` not assignable to `{}`
// ...
let result: ChannelOwner<any> = new ChannelOwner(/* only inference source typed `any` here */)

and then result is returned in a method whose return type is any, and the one caller of that method does not use the return value. In other words, this error did not catch a bug in practice, because the offending type parameter should never have been declared in the first place.

typeorm

Every issue was resolvable by adding a missing constraint. The appropriate constraint, for internal consistency, was an interface called ObjectLiteral defined as just a string-to-any index signature. It seems like extends object or even extends {} would have squelched the errors due to the very loose assignability of that index signature, but it seemed like the correct thing was to propagate ObjectLiteral through, so the codefix wasn’t usable where offered. I also noticed that there were places where the codefix wasn’t offered due to the failing assignment being of the array form T[] is not assignable to ObjectLiteral[]. I also noticed one instance where the codefix would have been good, and the related diagnostic “...probably needs an extends object constraint” was attached, but there was no corresponding codefix.

Did this catch a real bug: I think so? It’s really hard to tell. The unconstrained Entity type parameters are treated like opaque values throughout most of the codebase. I finally traced it down to where it does some object operations on those values, and some of those functions actually guard against null and undefined even though the existing types refute that possibility. Others guard only against undefined, and others do not check for either. So, I’m pretty sure in 4.7 it would have been possible to invoke something with null and/or undefined and find something that crashes like 20 stack frames later.

apollo-client

First one I looked at showed the codefix / related diagnostic as buggy again; duplicated related info and no codefix:

Second one, related diagnostic is correct but again no codefix. Starting to wonder if the codefix ever works?

A couple more and it appears that this codebase has probably mistaken type parameter defaults for constraints through and through. Virtually every type parameter has a default and no constraint. Many of the defaults are any. I tried to see if I could trace one down to where it would crash, but the values of these unconstrained type parameters almost always get assigned to a property that was optional, so down the line, the code tends to guard against falsy values. It seems 100% clear that an object constraint is the intent, but I can’t easily find a place where a null or undefined would not be gracefully handled. (This is basically what I expected to find in all of these: yes, the types are clearly wrong; yes, because the types are wrong, it would be easy to make a code change that type checks but crashes at runtime; no, I cannot find existing instances of code like that.)

[DanielRosenwasser]

react-hook-form

• I don't think I got the quick fix at all.
• Lots of places just needed an constraint.
  • Some of those constraints were clearly intentional and more specific than - for example,
    • In createFormControl, there's an unconstrained U which is used against an all-optional object type called SetValueConfig. U should have had a meaningful constraint that extended that type.
    • In form.ts, getProxyFormState.ts, getResolverOptions.ts, fieldArray.ts, resolvers.ts, and others a TFieldValues probably should always extends FieldValues, though it's just an alias for Record<string, any>. So there is readability intent, but this is the same as just adding object for most cases.
• There's a few cases that does look questionable - like probable bugs - in getFieldAsValue.ts and validateField.ts - but it's not from the stronger check on generics, it's from the improved narrowing. At the end of the day, there's 100% no reason that these functions had to be generic though.
• I don't think it was hard to fix these, but I don't think these would've been solvable on the publicly-produced .d.ts file

I sent the fixes upstream over at react-hook-form/react-hook-form#8484.

code-server

This repo feels kind of like a less-than-useful benchmark because it's just letting us report over an old copy of VS Code; but I guess it gave us a chance to rerun on VS Code from before they dealt with this break over two months ago (microsoft/vscode@46abb2b). In theory this double type assertion should no longer be necessary @mjbvz.

Otherwise, @mjbvz already upgraded to a recent nightly and fixed other breaks due to narrowing, this one involving how functions are no longer narrowed (microsoft/vscode@640898d).

Since there was no work for me to do, I will have to defer to the VS Code team's feedback.

blueprint

I spent a bit of time last week trying to figure this one out with @ahejlsberg. It seems like we have regressed in some capacity with respect to destructuring defaults. @andrewbranch might know more about this since he played around with destructuring recently, but I don't recall the exact change or whether it's even relevant.

export interface BarProps {
    barProp?: string;
}

export interface FooProps {
    fooProps?: BarProps & object;
}

declare const foo: FooProps;
const { fooProps = {} } = foo;

fooProps.barProp;
//       ~~~~~~~
// error! Property 'barProp' does not exist on type '{}'.ts(2339)

It seems like every single break here comes from this. There's not a clear fix, and it seems like a regression, so I didn't try fixing it (though I spent a lot of time getting a minimal repro).

[DanielRosenwasser]

I opened up #49480 for the {} default issue, which was introduced by the intersection reduction PR at #49119 @ahejlsberg.

[DanielRosenwasser]

Have others sent PRs to these projects? I sent out

• Funnel along appropriate constraints for (upcoming) TypeScript 4.8 react-hook-form/react-hook-form#8484
• Add constraint to DummyChannelOwner for (upcoming) TypeScript 4.8 playwright#14840