3.6 regression: `Error: Debug Failure. No error for last overload signature`

[OliverJAsh]

TypeScript Version: 3.6.2

Search Terms: debug failure overload signature

After upgrading our large app from TS 3.5.2 to to TS 3.6.2, we get the following error when running tsc:

$ tsc  --project tsconfig.json
/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:75634
                throw e;
                ^

Error: Debug Failure. No error for last overload signature
    at resolveCall (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:43576:38)
    at resolveJsxOpeningLikeElement (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:44148:20)
    at resolveSignature (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:44169:28)
    at getResolvedSignature (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:44180:26)
    at checkJsxOpeningLikeElementOrOpeningFragment (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:42398:27)
    at checkJsxSelfClosingElementDeferred (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:42042:13)
    at checkDeferredNode (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:50211:21)
    at Map.forEach (<anonymous>)
    at checkDeferredNodes (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:50189:37)
    at checkSourceFileWorker (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:50249:17)

[sandersn]

I added that assert in 3.6 to catch an incorrect state during error reporting. So, uh, looks like you caught it!

This needs a smaller repro before I can continue. When I get to my desk I’ll come up with an assert message that dumps the current file or the text of the node. That way you can modify tsc.js to pinpoint the call.

[OliverJAsh]

That would be great, thanks @sandersn

[sandersn]

1. In tsc.js, search for

                            Debug.fail("No error for last overload signature");

and change to

                            var s = "\nCall:"  + getTextOfNode(node) + "\nDeclarations:\t" + candidatesForArgumentError.map(c => c.declaration ? getTextOfNode(c.declaration) : "no declaration found").join(",");
                            Debug.fail("No error for last overload signature" + s);

We should consider making Debug.fail take a node or nodes to print.

[OliverJAsh]

Had to change getTextOfNode to ts.getTextOfNode and Debug to ts.Debug, then I got this:

$ tsc  --project tsconfig.json
/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:75635
                throw e;
                ^

Error: Debug Failure. No error for last overload signature
Call:<ComposedComponent
                {
                  // Cast is workaround for https://github.com/microsoft/TypeScript/issues/28884
                  ...({
                    renderType,
                    ...this.props,
                  } as ComposedProps)
                }
              />
Declarations:	(props: PropsWithChildren<P>, context?: any): ReactElement | null;
    at resolveCall (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:43577:38)
    at resolveJsxOpeningLikeElement (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:44149:20)
    at resolveSignature (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:44170:28)
    at getResolvedSignature (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:44181:26)
    at checkJsxOpeningLikeElementOrOpeningFragment (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:42398:27)
    at checkJsxSelfClosingElementDeferred (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:42042:13)
    at checkDeferredNode (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:50212:21)
    at Map.forEach (<anonymous>)
    at checkDeferredNodes (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:50190:37)
    at checkSourceFileWorker (/Users/oliverash/Development/unsplash-web/node_modules/typescript/lib/tsc.js:50250:17)

The code printed in this error is from this file: https://gist.github.com/OliverJAsh/bebfe1c5690d2e79317103c2b6c4bb9e

[sandersn]

Thanks, that's a pretty small repro. Hopefully the external dependencies (besides react) are not needed.

[OliverJAsh]

Here's a reduced test case:

./package.json:

{
  "dependencies": {
    "@types/react": "16.9.2",
    "typescript": "3.6.2"
  }
}

./tsconfig.json:

{
    "compilerOptions": {
        "target": "es2015",
        "jsx": "react",
        "moduleResolution": "node"
    }
}

./main.tsx:

import * as React from 'react';
import { Component, ComponentType } from 'react';

const getDisplayName = (ComposedComponent: ComponentType<unknown>) =>
    ComposedComponent.displayName;

type RenderTypeProp = { renderType: object };

export const withRenderType = <ComposedProps extends RenderTypeProp>(
    ComposedComponent: ComponentType<ComposedProps>,
) => {
    const displayName = `WithRenderType(${getDisplayName(ComposedComponent)})`;

    class WithRenderType extends Component<ComposedProps> {
        static displayName = displayName;

        render() {
            return <ComposedComponent {...(this.props as ComposedProps)} />;
        }
    }

    return WithRenderType;
};

[OliverJAsh]

Workaround for now:

-    const displayName = `WithRenderType(${getDisplayName(ComposedComponent)})`;
+    const displayName = `WithRenderType(${ComposedComponent.displayName})`;