add jsx fragments to callLikeExpression (#59933)

Author: iisaduan

src/compiler/checker.ts

@@ -3976,6 +3976,10 @@
         "category": "Error",
         "code": 2878
     },
+    "Using JSX fragments requires fragment factory '{0}' to be in scope, but it could not be found.": {
+        "category": "Error",
+        "code": 2879
+    },
 
     "Import declaration '{0}' is using private name '{1}'.": {
         "category": "Error",
@@ -5530,7 +5534,6 @@
         "category": "Message",
         "code": 6243
     },
-
     "Modules": {
         "category": "Message",
         "code": 6244

src/compiler/diagnosticMessages.json

@@ -3126,7 +3126,7 @@ export type CallLikeExpression =
     | NewExpression
     | TaggedTemplateExpression
     | Decorator
-    | JsxOpeningLikeElement
+    | JsxCallLike
     | InstanceofExpression;
 
 export interface AsExpression extends Expression {
@@ -3187,6 +3187,10 @@ export type JsxOpeningLikeElement =
     | JsxSelfClosingElement
     | JsxOpeningElement;
 
+export type JsxCallLike =
+    | JsxOpeningLikeElement
+    | JsxOpeningFragment;
+
 export type JsxAttributeLike =
     | JsxAttribute
     | JsxSpreadAttribute;
@@ -6208,19 +6212,18 @@ export interface NodeLinks {
     resolvedType?: Type;                // Cached type of type node
     resolvedSignature?: Signature;      // Cached signature of signature node or call expression
     resolvedSymbol?: Symbol;            // Cached name resolution result
-    resolvedIndexInfo?: IndexInfo;      // Cached indexing info resolution result
     effectsSignature?: Signature;       // Signature with possible control flow effects
     enumMemberValue?: EvaluatorResult;  // Constant value of enum member
     isVisible?: boolean;                // Is this node visible
     containsArgumentsReference?: boolean; // Whether a function-like declaration contains an 'arguments' reference
     hasReportedStatementInAmbientContext?: boolean; // Cache boolean if we report statements in ambient context
     jsxFlags: JsxFlags;                 // flags for knowing what kind of element/attributes we're dealing with
     resolvedJsxElementAttributesType?: Type; // resolved element attributes type of a JSX openinglike element
-    resolvedJsxElementAllAttributesType?: Type; // resolved all element attributes type of a JSX openinglike element
     resolvedJSDocType?: Type;           // Resolved type of a JSDoc type reference
     switchTypes?: Type[];               // Cached array of switch case expression types
     jsxNamespace?: Symbol | false;      // Resolved jsx namespace symbol for this node
     jsxImplicitImportContainer?: Symbol | false; // Resolved module symbol the implicit jsx import of this file should refer to
+    jsxFragmentType?: Type;             // Type of the JSX fragment element, set per SourceFile if a jsxFragment is checked in the file
     contextFreeType?: Type;             // Cached context-free type used by the first pass of inference; used when a function's return is partially contextually sensitive
     deferredNodes?: Set<Node>;          // Set of nodes whose checking has been deferred
     capturedBlockScopeBindings?: Symbol[]; // Block-scoped bindings captured beneath this part of an IterationStatement

src/compiler/types.ts

@@ -3383,6 +3383,8 @@ export function getInvokedExpression(node: CallLikeExpression): Expression | Jsx
             return node.tagName;
         case SyntaxKind.BinaryExpression:
             return node.right;
+        case SyntaxKind.JsxOpeningFragment:
+            return node;
         default:
             return node.expression;
     }

src/compiler/utilities.ts

@@ -204,6 +204,7 @@ import {
     JSDocTypedefTag,
     JSDocTypeTag,
     JsxAttributeLike,
+    JsxCallLike,
     JsxChild,
     JsxExpression,
     JsxOpeningLikeElement,
@@ -1957,13 +1958,16 @@ export function isCallLikeOrFunctionLikeExpression(node: Node): node is CallLike
 
 export function isCallLikeExpression(node: Node): node is CallLikeExpression {
     switch (node.kind) {
-        case SyntaxKind.JsxOpeningElement:
-        case SyntaxKind.JsxSelfClosingElement:
         case SyntaxKind.CallExpression:
         case SyntaxKind.NewExpression:
         case SyntaxKind.TaggedTemplateExpression:
         case SyntaxKind.Decorator:
+        case SyntaxKind.JsxOpeningElement:
+        case SyntaxKind.JsxSelfClosingElement:
+        case SyntaxKind.JsxOpeningFragment:
             return true;
+        case SyntaxKind.BinaryExpression:
+            return (node as BinaryExpression).operatorToken.kind === SyntaxKind.InstanceOfKeyword;
         default:
             return false;
     }
@@ -2479,6 +2483,13 @@ export function isJsxOpeningLikeElement(node: Node): node is JsxOpeningLikeEleme
         || kind === SyntaxKind.JsxSelfClosingElement;
 }
 
+export function isJsxCallLike(node: Node): node is JsxCallLike {
+    const kind = node.kind;
+    return kind === SyntaxKind.JsxOpeningElement
+        || kind === SyntaxKind.JsxSelfClosingElement
+        || kind === SyntaxKind.JsxOpeningFragment;
+}
+
 // Clauses
 
 export function isCaseOrDefaultClause(node: Node): node is CaseOrDefaultClause {

src/compiler/utilitiesPublic.ts

@@ -5148,7 +5148,7 @@ declare namespace ts {
     interface InstanceofExpression extends BinaryExpression {
         readonly operatorToken: Token<SyntaxKind.InstanceOfKeyword>;
     }
-    type CallLikeExpression = CallExpression | NewExpression | TaggedTemplateExpression | Decorator | JsxOpeningLikeElement | InstanceofExpression;
+    type CallLikeExpression = CallExpression | NewExpression | TaggedTemplateExpression | Decorator | JsxCallLike | InstanceofExpression;
     interface AsExpression extends Expression {
         readonly kind: SyntaxKind.AsExpression;
         readonly expression: Expression;
@@ -5184,6 +5184,7 @@ declare namespace ts {
         readonly closingElement: JsxClosingElement;
     }
     type JsxOpeningLikeElement = JsxSelfClosingElement | JsxOpeningElement;
+    type JsxCallLike = JsxOpeningLikeElement | JsxOpeningFragment;
     type JsxAttributeLike = JsxAttribute | JsxSpreadAttribute;
     type JsxAttributeName = Identifier | JsxNamespacedName;
     type JsxTagNameExpression = Identifier | ThisExpression | JsxTagNamePropertyAccess | JsxNamespacedName;
@@ -8800,6 +8801,7 @@ declare namespace ts {
     function isJsxAttributeLike(node: Node): node is JsxAttributeLike;
     function isStringLiteralOrJsxExpression(node: Node): node is StringLiteral | JsxExpression;
     function isJsxOpeningLikeElement(node: Node): node is JsxOpeningLikeElement;
+    function isJsxCallLike(node: Node): node is JsxCallLike;
     function isCaseOrDefaultClause(node: Node): node is CaseOrDefaultClause;
     /** True if node is of a kind that may contain comment text. */
     function isJSDocCommentContainingNode(node: Node): boolean;

tests/baselines/reference/api/typescript.d.ts

@@ -1,6 +1,9 @@
 preacty-no-fragment.tsx(5,12): error TS6133: 'Fragment' is declared but its value is never read.
 preacty-only-fragment-no-jsx.tsx(6,1): error TS2874: This JSX tag requires 'h' to be in scope, but it could not be found.
 snabbdomy-only-fragment-no-jsx.tsx(4,1): error TS2874: This JSX tag requires 'jsx' to be in scope, but it could not be found.
+snabbdomy-only-fragment-no-jsx.tsx(4,1): error TS2879: Using JSX fragments requires fragment factory 'null' to be in scope, but it could not be found.
+snabbdomy-only-fragment.tsx(4,1): error TS2879: Using JSX fragments requires fragment factory 'null' to be in scope, but it could not be found.
+snabbdomy.tsx(4,1): error TS2879: Using JSX fragments requires fragment factory 'null' to be in scope, but it could not be found.
 
 
 ==== renderer.d.ts (0 errors) ====
@@ -23,11 +26,13 @@ snabbdomy-only-fragment-no-jsx.tsx(4,1): error TS2874: This JSX tag requires 'js
     import {h, Fragment} from "./renderer";
     <><div></div></>
 
-==== snabbdomy.tsx (0 errors) ====
+==== snabbdomy.tsx (1 errors) ====
     /* @jsx jsx */
     /* @jsxfrag null */
     import {jsx} from "./renderer";
     <><span></span></>
+    ~~
+!!! error TS2879: Using JSX fragments requires fragment factory 'null' to be in scope, but it could not be found.
 
 ==== preacty-only-fragment.tsx (0 errors) ====
     /**
@@ -37,11 +42,13 @@ snabbdomy-only-fragment-no-jsx.tsx(4,1): error TS2874: This JSX tag requires 'js
     import {h, Fragment} from "./renderer";
     <></>
 
-==== snabbdomy-only-fragment.tsx (0 errors) ====
+==== snabbdomy-only-fragment.tsx (1 errors) ====
     /* @jsx jsx */
     /* @jsxfrag null */
     import {jsx} from "./renderer";
     <></>
+    ~~
+!!! error TS2879: Using JSX fragments requires fragment factory 'null' to be in scope, but it could not be found.
 
 ==== preacty-only-fragment-no-jsx.tsx (1 errors) ====
     /**
@@ -53,13 +60,15 @@ snabbdomy-only-fragment-no-jsx.tsx(4,1): error TS2874: This JSX tag requires 'js
     ~~
 !!! error TS2874: This JSX tag requires 'h' to be in scope, but it could not be found.
 
-==== snabbdomy-only-fragment-no-jsx.tsx (1 errors) ====
+==== snabbdomy-only-fragment-no-jsx.tsx (2 errors) ====
     /* @jsx jsx */
     /* @jsxfrag null */
     import {} from "./renderer";
     <></>
     ~~
 !!! error TS2874: This JSX tag requires 'jsx' to be in scope, but it could not be found.
+    ~~
+!!! error TS2879: Using JSX fragments requires fragment factory 'null' to be in scope, but it could not be found.
 
 ==== preacty-no-fragment.tsx (1 errors) ====
     /**

tests/baselines/reference/inlineJsxAndJsxFragPragma.errors.txt

@@ -0,0 +1,49 @@
+snabbdomy.tsx(6,1): error TS2879: Using JSX fragments requires fragment factory 'null' to be in scope, but it could not be found.
+
+
+==== react.d.ts (0 errors) ====
+    declare global {
+        namespace JSX {
+            interface IntrinsicElements {
+                [e: string]: any;
+            }
+        }
+    }
+    export function createElement(): void;
+    export function Fragment(): void;
+    
+==== preact.d.ts (0 errors) ====
+    export function h(): void;
+    export function Frag(): void;
+    
+==== snabbdom.d.ts (0 errors) ====
+    export function h(): void;
+    
+==== reacty.tsx (0 errors) ====
+    import {createElement, Fragment} from "./react";
+    <><span></span></>
+    
+==== preacty.tsx (0 errors) ====
+    /**
+     * @jsx h
+     * @jsxFrag Frag
+     */
+    import {h, Frag} from "./preact";
+    <><div></div></>
+    
+==== snabbdomy.tsx (1 errors) ====
+    /**
+     * @jsx h
+     * @jsxfrag null
+     */
+    import {h} from "./snabbdom";
+    <><div></div></>
+    ~~
+!!! error TS2879: Using JSX fragments requires fragment factory 'null' to be in scope, but it could not be found.
+    
+==== mix-n-match.tsx (0 errors) ====
+    /* @jsx h */
+    /* @jsxFrag Fragment */
+    import {h} from "./preact";
+    import {Fragment} from "./react";
+    <><span></span></>

tests/baselines/reference/inlineJsxAndJsxFragPragmaOverridesCompilerOptions.errors.txt

@@ -43,8 +43,10 @@ import {createElement, Fragment} from "./react";
 >         : ^^^^^^    
 
 <><span></span></>
-><><span></span></> : error
-><span></span> : error
+><><span></span></> : any
+>                   : ^^^
+><span></span> : any
+>              : ^^^
 >span : any
 >     : ^^^
 >span : any
@@ -62,8 +64,10 @@ import {h, Frag} from "./preact";
 >     : ^^^^^^    
 
 <><div></div></>
-><><div></div></> : error
-><div></div> : error
+><><div></div></> : any
+>                 : ^^^
+><div></div> : any
+>            : ^^^
 >div : any
 >    : ^^^
 >div : any
@@ -79,8 +83,10 @@ import {h} from "./snabbdom";
 >  : ^^^^^^    
 
 <><div></div></>
-><><div></div></> : error
-><div></div> : error
+><><div></div></> : any
+>                 : ^^^
+><div></div> : any
+>            : ^^^
 >div : any
 >    : ^^^
 >div : any
@@ -98,8 +104,10 @@ import {Fragment} from "./react";
 >         : ^^^^^^    
 
 <><span></span></>
-><><span></span></> : error
-><span></span> : error
+><><span></span></> : any
+>                   : ^^^
+><span></span> : any
+>              : ^^^
 >span : any
 >     : ^^^
 >span : any

tests/baselines/reference/inlineJsxAndJsxFragPragmaOverridesCompilerOptions.types

@@ -1,4 +1,5 @@
 index.tsx(3,1): error TS2874: This JSX tag requires 'React' to be in scope, but it could not be found.
+index.tsx(3,1): error TS2879: Using JSX fragments requires fragment factory 'React' to be in scope, but it could not be found.
 index.tsx(3,1): error TS17017: An @jsxFrag pragma is required when using an @jsx pragma with JSX fragments.
 reacty.tsx(3,1): error TS17017: An @jsxFrag pragma is required when using an @jsx pragma with JSX fragments.
 
@@ -19,11 +20,13 @@ reacty.tsx(3,1): error TS17017: An @jsxFrag pragma is required when using an @js
     <><h></h></>
     ~~~~~~~~~~~~
 !!! error TS17017: An @jsxFrag pragma is required when using an @jsx pragma with JSX fragments.
-==== index.tsx (2 errors) ====
+==== index.tsx (3 errors) ====
     /** @jsx dom */
     import { dom } from "./renderer";
     <><h></h></>
     ~~
 !!! error TS2874: This JSX tag requires 'React' to be in scope, but it could not be found.
+    ~~
+!!! error TS2879: Using JSX fragments requires fragment factory 'React' to be in scope, but it could not be found.
     ~~~~~~~~~~~~
 !!! error TS17017: An @jsxFrag pragma is required when using an @jsx pragma with JSX fragments.