TypeScript/tests/baselines/reference/jsxElementTypeLiteralWithGeneric.types at e32358b71649af979a872f661007e8745d70206d · jakebailey/TypeScript · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
//// [tests/cases/compiler/jsxElementTypeLiteralWithGeneric.tsx] ////

=== Performance Stats ===
Assignability cache: 2,500
Type Count: 10,000
Instantiation count: 100,000
Symbol count: 50,000

=== jsxElementTypeLiteralWithGeneric.tsx ===
/// <reference path="react16.d.ts" />
import * as React from "react";
>React : typeof React
>      : ^^^^^^^^^^^^

declare global {
>global : any
>       : ^^^

  namespace JSX {
    type ElementType<P = any> =
>ElementType : ElementType<P>
>            : ^^^^^^^^^^^^^^

      | {
        [K in keyof JSX.IntrinsicElements]: P extends JSX.IntrinsicElements[K]
>JSX : any
>    : ^^^
>JSX : any
>    : ^^^

        ? K
        : never;
      }[keyof JSX.IntrinsicElements]
>JSX : any
>    : ^^^

      | React.ComponentType<P>;
>React : any
>      : ^^^
  }
}

// should be fine - `ElementType` accepts `div`
let a = <div />;
>a : JSX.Element
>  : ^^^^^^^^^^^
><div /> : JSX.Element
>        : ^^^^^^^^^^^
>div : any
>    : ^^^

// Should be an error.
// `ruhroh` is in neither `IntrinsicElements` nor `ElementType`
let c = <ruhroh />;
>c : JSX.Element
>  : ^^^^^^^^^^^
><ruhroh /> : JSX.Element
>           : ^^^^^^^^^^^
>ruhroh : any
>       : ^^^