TypeScript/tests/baselines/reference/discriminatedUnionJsxElement.types
Anders Hejlsberg 8718df3dc1
Fix stack overflow in JSX discriminated union logic (#46354)
* Use getContextFreeTypeOfExpression to avoid circularities

* Add regression test
2021-10-14 10:11:44 -07:00

58 lines
1.8 KiB
Plaintext

=== tests/cases/compiler/discriminatedUnionJsxElement.tsx ===
// Repro from #46021
interface IData<MenuItemVariant extends ListItemVariant = ListItemVariant.OneLine> {
>ListItemVariant : any
menuItemsVariant?: MenuItemVariant;
>menuItemsVariant : MenuItemVariant | undefined
}
function Menu<MenuItemVariant extends ListItemVariant = ListItemVariant.OneLine>(data: IData<MenuItemVariant>) {
>Menu : <MenuItemVariant extends ListItemVariant = ListItemVariant.OneLine>(data: IData<MenuItemVariant>) => any
>ListItemVariant : any
>data : IData<MenuItemVariant>
const listItemVariant = data.menuItemsVariant ?? ListItemVariant.OneLine;
>listItemVariant : ListItemVariant.OneLine | NonNullable<MenuItemVariant>
>data.menuItemsVariant ?? ListItemVariant.OneLine : ListItemVariant.OneLine | NonNullable<MenuItemVariant>
>data.menuItemsVariant : MenuItemVariant | undefined
>data : IData<MenuItemVariant>
>menuItemsVariant : MenuItemVariant | undefined
>ListItemVariant.OneLine : ListItemVariant.OneLine
>ListItemVariant : typeof ListItemVariant
>OneLine : ListItemVariant.OneLine
return <ListItem variant={listItemVariant} />;
><ListItem variant={listItemVariant} /> : error
>ListItem : (_data: IListItemData) => null
>variant : ListItemVariant
>listItemVariant : ListItemVariant
}
type IListItemData = { variant: ListItemVariant.Avatar; } | { variant: ListItemVariant.OneLine; };
>IListItemData : IListItemData
>variant : ListItemVariant.Avatar
>ListItemVariant : any
>variant : ListItemVariant.OneLine
>ListItemVariant : any
enum ListItemVariant {
>ListItemVariant : ListItemVariant
OneLine,
>OneLine : ListItemVariant.OneLine
Avatar,
>Avatar : ListItemVariant.Avatar
}
function ListItem(_data: IListItemData) {
>ListItem : (_data: IListItemData) => null
>_data : IListItemData
return null;
>null : null
}