{
  "type": "Program",
  "statements": [
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "T19",
        "loc": {
          "start": {
            "line": 17,
            "column": 6
          },
          "end": {
            "line": 17,
            "column": 9
          }
        }
      },
      "typeAnnotation": {
        "type": "TSConditionalType",
        "checkType": {
          "type": "TSTypeReference",
          "typeName": {
            "type": "Identifier",
            "name": "T",
            "loc": {
              "start": {
                "line": 17,
                "column": 39
              },
              "end": {
                "line": 17,
                "column": 40
              }
            }
          },
          "loc": {
            "start": {
              "line": 17,
              "column": 39
            },
            "end": {
              "line": 17,
              "column": 40
            }
          }
        },
        "extendsType": {
          "type": "TSParenthesizedType",
          "typeAnnotation": {
            "type": "TSInferType",
            "typeParameter": {
              "type": "TSTypeParameter",
              "name": {
                "type": "Identifier",
                "name": "U",
                "loc": {
                  "start": {
                    "line": 17,
                    "column": 56
                  },
                  "end": {
                    "line": 17,
                    "column": 57
                  }
                }
              },
              "constraint": {
                "type": "TSNumberKeyword",
                "loc": {
                  "start": {
                    "line": 17,
                    "column": 66
                  },
                  "end": {
                    "line": 17,
                    "column": 72
                  }
                }
              },
              "in": false,
              "out": false,
              "loc": {
                "start": {
                  "line": 17,
                  "column": 56
                },
                "end": {
                  "line": 17,
                  "column": 73
                }
              }
            },
            "loc": {
              "start": {
                "line": 17,
                "column": 50
              },
              "end": {
                "line": 17,
                "column": 73
              }
            }
          },
          "loc": {
            "start": {
              "line": 17,
              "column": 49
            },
            "end": {
              "line": 17,
              "column": 73
            }
          }
        },
        "trueType": {
          "type": "TSTupleType",
          "elementTypes": [
            {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "T",
                "loc": {
                  "start": {
                    "line": 17,
                    "column": 77
                  },
                  "end": {
                    "line": 17,
                    "column": 78
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 17,
                  "column": 77
                },
                "end": {
                  "line": 17,
                  "column": 78
                }
              }
            },
            {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "U",
                "loc": {
                  "start": {
                    "line": 17,
                    "column": 80
                  },
                  "end": {
                    "line": 17,
                    "column": 81
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 17,
                  "column": 80
                },
                "end": {
                  "line": 17,
                  "column": 81
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 17,
              "column": 76
            },
            "end": {
              "line": 17,
              "column": 82
            }
          }
        },
        "falseType": {
          "type": "TSNeverKeyword",
          "loc": {
            "start": {
              "line": 17,
              "column": 85
            },
            "end": {
              "line": 17,
              "column": 90
            }
          }
        },
        "loc": {
          "start": {
            "line": 17,
            "column": 39
          },
          "end": {
            "line": 17,
            "column": 90
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T",
              "loc": {
                "start": {
                  "line": 17,
                  "column": 10
                },
                "end": {
                  "line": 17,
                  "column": 11
                }
              }
            },
            "constraint": {
              "type": "TSUnionType",
              "types": [
                {
                  "type": "TSStringKeyword",
                  "loc": {
                    "start": {
                      "line": 17,
                      "column": 20
                    },
                    "end": {
                      "line": 17,
                      "column": 26
                    }
                  }
                },
                {
                  "type": "TSNumberKeyword",
                  "loc": {
                    "start": {
                      "line": 17,
                      "column": 29
                    },
                    "end": {
                      "line": 17,
                      "column": 35
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 17,
                  "column": 20
                },
                "end": {
                  "line": 17,
                  "column": 35
                }
              }
            },
            "in": false,
            "out": false,
            "loc": {
              "start": {
                "line": 17,
                "column": 10
              },
              "end": {
                "line": 17,
                "column": 36
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 17,
            "column": 9
          },
          "end": {
            "line": 17,
            "column": 36
          }
        }
      },
      "loc": {
        "start": {
          "line": 17,
          "column": 1
        },
        "end": {
          "line": 17,
          "column": 91
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X19_T1",
        "loc": {
          "start": {
            "line": 18,
            "column": 6
          },
          "end": {
            "line": 18,
            "column": 12
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T19",
          "loc": {
            "start": {
              "line": 18,
              "column": 15
            },
            "end": {
              "line": 18,
              "column": 18
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSLiteralType",
              "literal": {
                "type": "StringLiteral",
                "value": "a",
                "loc": {
                  "start": {
                    "line": 18,
                    "column": 19
                  },
                  "end": {
                    "line": 18,
                    "column": 22
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 18,
                  "column": 19
                },
                "end": {
                  "line": 18,
                  "column": 22
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 18,
              "column": 18
            },
            "end": {
              "line": 18,
              "column": 23
            }
          }
        },
        "loc": {
          "start": {
            "line": 18,
            "column": 15
          },
          "end": {
            "line": 18,
            "column": 18
          }
        }
      },
      "loc": {
        "start": {
          "line": 18,
          "column": 1
        },
        "end": {
          "line": 18,
          "column": 24
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X19_T2",
        "loc": {
          "start": {
            "line": 19,
            "column": 6
          },
          "end": {
            "line": 19,
            "column": 12
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T19",
          "loc": {
            "start": {
              "line": 19,
              "column": 15
            },
            "end": {
              "line": 19,
              "column": 18
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSLiteralType",
              "literal": {
                "type": "NumberLiteral",
                "value": 1,
                "loc": {
                  "start": {
                    "line": 19,
                    "column": 19
                  },
                  "end": {
                    "line": 19,
                    "column": 20
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 19,
                  "column": 19
                },
                "end": {
                  "line": 19,
                  "column": 20
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 19,
              "column": 18
            },
            "end": {
              "line": 19,
              "column": 21
            }
          }
        },
        "loc": {
          "start": {
            "line": 19,
            "column": 15
          },
          "end": {
            "line": 19,
            "column": 18
          }
        }
      },
      "loc": {
        "start": {
          "line": 19,
          "column": 1
        },
        "end": {
          "line": 19,
          "column": 22
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X19_T3",
        "loc": {
          "start": {
            "line": 20,
            "column": 6
          },
          "end": {
            "line": 20,
            "column": 12
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T19",
          "loc": {
            "start": {
              "line": 20,
              "column": 15
            },
            "end": {
              "line": 20,
              "column": 18
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSUnionType",
              "types": [
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "NumberLiteral",
                    "value": 1,
                    "loc": {
                      "start": {
                        "line": 20,
                        "column": 19
                      },
                      "end": {
                        "line": 20,
                        "column": 20
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 20,
                      "column": 19
                    },
                    "end": {
                      "line": 20,
                      "column": 20
                    }
                  }
                },
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "StringLiteral",
                    "value": "a",
                    "loc": {
                      "start": {
                        "line": 20,
                        "column": 23
                      },
                      "end": {
                        "line": 20,
                        "column": 26
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 20,
                      "column": 23
                    },
                    "end": {
                      "line": 20,
                      "column": 26
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 20,
                  "column": 19
                },
                "end": {
                  "line": 20,
                  "column": 26
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 20,
              "column": 18
            },
            "end": {
              "line": 20,
              "column": 27
            }
          }
        },
        "loc": {
          "start": {
            "line": 20,
            "column": 15
          },
          "end": {
            "line": 20,
            "column": 18
          }
        }
      },
      "loc": {
        "start": {
          "line": 20,
          "column": 1
        },
        "end": {
          "line": 20,
          "column": 28
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "T20",
        "loc": {
          "start": {
            "line": 22,
            "column": 6
          },
          "end": {
            "line": 22,
            "column": 9
          }
        }
      },
      "typeAnnotation": {
        "type": "TSConditionalType",
        "checkType": {
          "type": "TSTypeReference",
          "typeName": {
            "type": "Identifier",
            "name": "T",
            "loc": {
              "start": {
                "line": 22,
                "column": 15
              },
              "end": {
                "line": 22,
                "column": 16
              }
            }
          },
          "loc": {
            "start": {
              "line": 22,
              "column": 15
            },
            "end": {
              "line": 22,
              "column": 16
            }
          }
        },
        "extendsType": {
          "type": "TSParenthesizedType",
          "typeAnnotation": {
            "type": "TSInferType",
            "typeParameter": {
              "type": "TSTypeParameter",
              "name": {
                "type": "Identifier",
                "name": "U",
                "loc": {
                  "start": {
                    "line": 22,
                    "column": 32
                  },
                  "end": {
                    "line": 22,
                    "column": 33
                  }
                }
              },
              "constraint": {
                "type": "TSNumberKeyword",
                "loc": {
                  "start": {
                    "line": 22,
                    "column": 42
                  },
                  "end": {
                    "line": 22,
                    "column": 48
                  }
                }
              },
              "in": false,
              "out": false,
              "loc": {
                "start": {
                  "line": 22,
                  "column": 32
                },
                "end": {
                  "line": 22,
                  "column": 49
                }
              }
            },
            "loc": {
              "start": {
                "line": 22,
                "column": 26
              },
              "end": {
                "line": 22,
                "column": 49
              }
            }
          },
          "loc": {
            "start": {
              "line": 22,
              "column": 25
            },
            "end": {
              "line": 22,
              "column": 49
            }
          }
        },
        "trueType": {
          "type": "TSConditionalType",
          "checkType": {
            "type": "TSTypeReference",
            "typeName": {
              "type": "Identifier",
              "name": "T",
              "loc": {
                "start": {
                  "line": 22,
                  "column": 52
                },
                "end": {
                  "line": 22,
                  "column": 53
                }
              }
            },
            "loc": {
              "start": {
                "line": 22,
                "column": 52
              },
              "end": {
                "line": 22,
                "column": 53
              }
            }
          },
          "extendsType": {
            "type": "TSParenthesizedType",
            "typeAnnotation": {
              "type": "TSInferType",
              "typeParameter": {
                "type": "TSTypeParameter",
                "name": {
                  "type": "Identifier",
                  "name": "V",
                  "loc": {
                    "start": {
                      "line": 22,
                      "column": 69
                    },
                    "end": {
                      "line": 22,
                      "column": 70
                    }
                  }
                },
                "constraint": {
                  "type": "TSTypeReference",
                  "typeName": {
                    "type": "Identifier",
                    "name": "U",
                    "loc": {
                      "start": {
                        "line": 22,
                        "column": 79
                      },
                      "end": {
                        "line": 22,
                        "column": 80
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 22,
                      "column": 79
                    },
                    "end": {
                      "line": 22,
                      "column": 80
                    }
                  }
                },
                "in": false,
                "out": false,
                "loc": {
                  "start": {
                    "line": 22,
                    "column": 69
                  },
                  "end": {
                    "line": 22,
                    "column": 81
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 22,
                  "column": 63
                },
                "end": {
                  "line": 22,
                  "column": 81
                }
              }
            },
            "loc": {
              "start": {
                "line": 22,
                "column": 62
              },
              "end": {
                "line": 22,
                "column": 81
              }
            }
          },
          "trueType": {
            "type": "TSTupleType",
            "elementTypes": [
              {
                "type": "TSTypeReference",
                "typeName": {
                  "type": "Identifier",
                  "name": "T",
                  "loc": {
                    "start": {
                      "line": 22,
                      "column": 85
                    },
                    "end": {
                      "line": 22,
                      "column": 86
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 22,
                    "column": 85
                  },
                  "end": {
                    "line": 22,
                    "column": 86
                  }
                }
              },
              {
                "type": "TSTypeReference",
                "typeName": {
                  "type": "Identifier",
                  "name": "U",
                  "loc": {
                    "start": {
                      "line": 22,
                      "column": 88
                    },
                    "end": {
                      "line": 22,
                      "column": 89
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 22,
                    "column": 88
                  },
                  "end": {
                    "line": 22,
                    "column": 89
                  }
                }
              },
              {
                "type": "TSTypeReference",
                "typeName": {
                  "type": "Identifier",
                  "name": "V",
                  "loc": {
                    "start": {
                      "line": 22,
                      "column": 91
                    },
                    "end": {
                      "line": 22,
                      "column": 92
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 22,
                    "column": 91
                  },
                  "end": {
                    "line": 22,
                    "column": 92
                  }
                }
              }
            ],
            "loc": {
              "start": {
                "line": 22,
                "column": 84
              },
              "end": {
                "line": 22,
                "column": 93
              }
            }
          },
          "falseType": {
            "type": "TSNeverKeyword",
            "loc": {
              "start": {
                "line": 22,
                "column": 96
              },
              "end": {
                "line": 22,
                "column": 101
              }
            }
          },
          "loc": {
            "start": {
              "line": 22,
              "column": 52
            },
            "end": {
              "line": 22,
              "column": 101
            }
          }
        },
        "falseType": {
          "type": "TSNeverKeyword",
          "loc": {
            "start": {
              "line": 22,
              "column": 104
            },
            "end": {
              "line": 22,
              "column": 109
            }
          }
        },
        "loc": {
          "start": {
            "line": 22,
            "column": 15
          },
          "end": {
            "line": 22,
            "column": 109
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T",
              "loc": {
                "start": {
                  "line": 22,
                  "column": 10
                },
                "end": {
                  "line": 22,
                  "column": 11
                }
              }
            },
            "in": false,
            "out": false,
            "loc": {
              "start": {
                "line": 22,
                "column": 10
              },
              "end": {
                "line": 22,
                "column": 12
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 22,
            "column": 9
          },
          "end": {
            "line": 22,
            "column": 12
          }
        }
      },
      "loc": {
        "start": {
          "line": 22,
          "column": 1
        },
        "end": {
          "line": 22,
          "column": 110
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X20_T1",
        "loc": {
          "start": {
            "line": 23,
            "column": 6
          },
          "end": {
            "line": 23,
            "column": 12
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T20",
          "loc": {
            "start": {
              "line": 23,
              "column": 15
            },
            "end": {
              "line": 23,
              "column": 18
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSUnionType",
              "types": [
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "NumberLiteral",
                    "value": 1,
                    "loc": {
                      "start": {
                        "line": 23,
                        "column": 19
                      },
                      "end": {
                        "line": 23,
                        "column": 20
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 23,
                      "column": 19
                    },
                    "end": {
                      "line": 23,
                      "column": 20
                    }
                  }
                },
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "StringLiteral",
                    "value": "a",
                    "loc": {
                      "start": {
                        "line": 23,
                        "column": 23
                      },
                      "end": {
                        "line": 23,
                        "column": 26
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 23,
                      "column": 23
                    },
                    "end": {
                      "line": 23,
                      "column": 26
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 23,
                  "column": 19
                },
                "end": {
                  "line": 23,
                  "column": 26
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 23,
              "column": 18
            },
            "end": {
              "line": 23,
              "column": 27
            }
          }
        },
        "loc": {
          "start": {
            "line": 23,
            "column": 15
          },
          "end": {
            "line": 23,
            "column": 18
          }
        }
      },
      "loc": {
        "start": {
          "line": 23,
          "column": 1
        },
        "end": {
          "line": 23,
          "column": 28
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "T21",
        "loc": {
          "start": {
            "line": 25,
            "column": 6
          },
          "end": {
            "line": 25,
            "column": 9
          }
        }
      },
      "typeAnnotation": {
        "type": "TSConditionalType",
        "checkType": {
          "type": "TSTypeReference",
          "typeName": {
            "type": "Identifier",
            "name": "T",
            "loc": {
              "start": {
                "line": 25,
                "column": 33
              },
              "end": {
                "line": 25,
                "column": 34
              }
            }
          },
          "loc": {
            "start": {
              "line": 25,
              "column": 33
            },
            "end": {
              "line": 25,
              "column": 34
            }
          }
        },
        "extendsType": {
          "type": "TSParenthesizedType",
          "typeAnnotation": {
            "type": "TSInferType",
            "typeParameter": {
              "type": "TSTypeParameter",
              "name": {
                "type": "Identifier",
                "name": "U",
                "loc": {
                  "start": {
                    "line": 25,
                    "column": 50
                  },
                  "end": {
                    "line": 25,
                    "column": 51
                  }
                }
              },
              "constraint": {
                "type": "TSTypeReference",
                "typeName": {
                  "type": "Identifier",
                  "name": "N",
                  "loc": {
                    "start": {
                      "line": 25,
                      "column": 60
                    },
                    "end": {
                      "line": 25,
                      "column": 61
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 25,
                    "column": 60
                  },
                  "end": {
                    "line": 25,
                    "column": 61
                  }
                }
              },
              "in": false,
              "out": false,
              "loc": {
                "start": {
                  "line": 25,
                  "column": 50
                },
                "end": {
                  "line": 25,
                  "column": 62
                }
              }
            },
            "loc": {
              "start": {
                "line": 25,
                "column": 44
              },
              "end": {
                "line": 25,
                "column": 62
              }
            }
          },
          "loc": {
            "start": {
              "line": 25,
              "column": 43
            },
            "end": {
              "line": 25,
              "column": 62
            }
          }
        },
        "trueType": {
          "type": "TSTupleType",
          "elementTypes": [
            {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "T",
                "loc": {
                  "start": {
                    "line": 25,
                    "column": 66
                  },
                  "end": {
                    "line": 25,
                    "column": 67
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 25,
                  "column": 66
                },
                "end": {
                  "line": 25,
                  "column": 67
                }
              }
            },
            {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "U",
                "loc": {
                  "start": {
                    "line": 25,
                    "column": 69
                  },
                  "end": {
                    "line": 25,
                    "column": 70
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 25,
                  "column": 69
                },
                "end": {
                  "line": 25,
                  "column": 70
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 25,
              "column": 65
            },
            "end": {
              "line": 25,
              "column": 71
            }
          }
        },
        "falseType": {
          "type": "TSNeverKeyword",
          "loc": {
            "start": {
              "line": 25,
              "column": 74
            },
            "end": {
              "line": 25,
              "column": 79
            }
          }
        },
        "loc": {
          "start": {
            "line": 25,
            "column": 33
          },
          "end": {
            "line": 25,
            "column": 79
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T",
              "loc": {
                "start": {
                  "line": 25,
                  "column": 10
                },
                "end": {
                  "line": 25,
                  "column": 11
                }
              }
            },
            "in": false,
            "out": false,
            "loc": {
              "start": {
                "line": 25,
                "column": 10
              },
              "end": {
                "line": 25,
                "column": 12
              }
            }
          },
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "N",
              "loc": {
                "start": {
                  "line": 25,
                  "column": 13
                },
                "end": {
                  "line": 25,
                  "column": 14
                }
              }
            },
            "constraint": {
              "type": "TSNumberKeyword",
              "loc": {
                "start": {
                  "line": 25,
                  "column": 23
                },
                "end": {
                  "line": 25,
                  "column": 29
                }
              }
            },
            "in": false,
            "out": false,
            "loc": {
              "start": {
                "line": 25,
                "column": 13
              },
              "end": {
                "line": 25,
                "column": 30
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 25,
            "column": 9
          },
          "end": {
            "line": 25,
            "column": 30
          }
        }
      },
      "loc": {
        "start": {
          "line": 25,
          "column": 1
        },
        "end": {
          "line": 25,
          "column": 80
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X21_T1",
        "loc": {
          "start": {
            "line": 26,
            "column": 6
          },
          "end": {
            "line": 26,
            "column": 12
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T21",
          "loc": {
            "start": {
              "line": 26,
              "column": 15
            },
            "end": {
              "line": 26,
              "column": 18
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSLiteralType",
              "literal": {
                "type": "NumberLiteral",
                "value": 1,
                "loc": {
                  "start": {
                    "line": 26,
                    "column": 19
                  },
                  "end": {
                    "line": 26,
                    "column": 20
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 26,
                  "column": 19
                },
                "end": {
                  "line": 26,
                  "column": 20
                }
              }
            },
            {
              "type": "TSLiteralType",
              "literal": {
                "type": "NumberLiteral",
                "value": 1,
                "loc": {
                  "start": {
                    "line": 26,
                    "column": 22
                  },
                  "end": {
                    "line": 26,
                    "column": 23
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 26,
                  "column": 22
                },
                "end": {
                  "line": 26,
                  "column": 23
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 26,
              "column": 18
            },
            "end": {
              "line": 26,
              "column": 24
            }
          }
        },
        "loc": {
          "start": {
            "line": 26,
            "column": 15
          },
          "end": {
            "line": 26,
            "column": 18
          }
        }
      },
      "loc": {
        "start": {
          "line": 26,
          "column": 1
        },
        "end": {
          "line": 26,
          "column": 25
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X21_T2",
        "loc": {
          "start": {
            "line": 27,
            "column": 6
          },
          "end": {
            "line": 27,
            "column": 12
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T21",
          "loc": {
            "start": {
              "line": 27,
              "column": 15
            },
            "end": {
              "line": 27,
              "column": 18
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSUnionType",
              "types": [
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "NumberLiteral",
                    "value": 1,
                    "loc": {
                      "start": {
                        "line": 27,
                        "column": 19
                      },
                      "end": {
                        "line": 27,
                        "column": 20
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 27,
                      "column": 19
                    },
                    "end": {
                      "line": 27,
                      "column": 20
                    }
                  }
                },
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "StringLiteral",
                    "value": "a",
                    "loc": {
                      "start": {
                        "line": 27,
                        "column": 23
                      },
                      "end": {
                        "line": 27,
                        "column": 26
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 27,
                      "column": 23
                    },
                    "end": {
                      "line": 27,
                      "column": 26
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 27,
                  "column": 19
                },
                "end": {
                  "line": 27,
                  "column": 26
                }
              }
            },
            {
              "type": "TSLiteralType",
              "literal": {
                "type": "NumberLiteral",
                "value": 1,
                "loc": {
                  "start": {
                    "line": 27,
                    "column": 28
                  },
                  "end": {
                    "line": 27,
                    "column": 29
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 27,
                  "column": 28
                },
                "end": {
                  "line": 27,
                  "column": 29
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 27,
              "column": 18
            },
            "end": {
              "line": 27,
              "column": 30
            }
          }
        },
        "loc": {
          "start": {
            "line": 27,
            "column": 15
          },
          "end": {
            "line": 27,
            "column": 18
          }
        }
      },
      "loc": {
        "start": {
          "line": 27,
          "column": 1
        },
        "end": {
          "line": 27,
          "column": 31
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X21_T3",
        "loc": {
          "start": {
            "line": 28,
            "column": 6
          },
          "end": {
            "line": 28,
            "column": 12
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T21",
          "loc": {
            "start": {
              "line": 28,
              "column": 15
            },
            "end": {
              "line": 28,
              "column": 18
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSUnionType",
              "types": [
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "NumberLiteral",
                    "value": 1,
                    "loc": {
                      "start": {
                        "line": 28,
                        "column": 19
                      },
                      "end": {
                        "line": 28,
                        "column": 20
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 28,
                      "column": 19
                    },
                    "end": {
                      "line": 28,
                      "column": 20
                    }
                  }
                },
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "NumberLiteral",
                    "value": 2,
                    "loc": {
                      "start": {
                        "line": 28,
                        "column": 23
                      },
                      "end": {
                        "line": 28,
                        "column": 24
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 28,
                      "column": 23
                    },
                    "end": {
                      "line": 28,
                      "column": 24
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 28,
                  "column": 19
                },
                "end": {
                  "line": 28,
                  "column": 24
                }
              }
            },
            {
              "type": "TSLiteralType",
              "literal": {
                "type": "NumberLiteral",
                "value": 1,
                "loc": {
                  "start": {
                    "line": 28,
                    "column": 26
                  },
                  "end": {
                    "line": 28,
                    "column": 27
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 28,
                  "column": 26
                },
                "end": {
                  "line": 28,
                  "column": 27
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 28,
              "column": 18
            },
            "end": {
              "line": 28,
              "column": 28
            }
          }
        },
        "loc": {
          "start": {
            "line": 28,
            "column": 15
          },
          "end": {
            "line": 28,
            "column": 18
          }
        }
      },
      "loc": {
        "start": {
          "line": 28,
          "column": 1
        },
        "end": {
          "line": 28,
          "column": 29
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X21_T4",
        "loc": {
          "start": {
            "line": 29,
            "column": 6
          },
          "end": {
            "line": 29,
            "column": 12
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T21",
          "loc": {
            "start": {
              "line": 29,
              "column": 15
            },
            "end": {
              "line": 29,
              "column": 18
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSUnionType",
              "types": [
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "NumberLiteral",
                    "value": 1,
                    "loc": {
                      "start": {
                        "line": 29,
                        "column": 19
                      },
                      "end": {
                        "line": 29,
                        "column": 20
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 29,
                      "column": 19
                    },
                    "end": {
                      "line": 29,
                      "column": 20
                    }
                  }
                },
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "NumberLiteral",
                    "value": 2,
                    "loc": {
                      "start": {
                        "line": 29,
                        "column": 23
                      },
                      "end": {
                        "line": 29,
                        "column": 24
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 29,
                      "column": 23
                    },
                    "end": {
                      "line": 29,
                      "column": 24
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 29,
                  "column": 19
                },
                "end": {
                  "line": 29,
                  "column": 24
                }
              }
            },
            {
              "type": "TSUnionType",
              "types": [
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "NumberLiteral",
                    "value": 2,
                    "loc": {
                      "start": {
                        "line": 29,
                        "column": 26
                      },
                      "end": {
                        "line": 29,
                        "column": 27
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 29,
                      "column": 26
                    },
                    "end": {
                      "line": 29,
                      "column": 27
                    }
                  }
                },
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "NumberLiteral",
                    "value": 3,
                    "loc": {
                      "start": {
                        "line": 29,
                        "column": 30
                      },
                      "end": {
                        "line": 29,
                        "column": 31
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 29,
                      "column": 30
                    },
                    "end": {
                      "line": 29,
                      "column": 31
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 29,
                  "column": 26
                },
                "end": {
                  "line": 29,
                  "column": 31
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 29,
              "column": 18
            },
            "end": {
              "line": 29,
              "column": 32
            }
          }
        },
        "loc": {
          "start": {
            "line": 29,
            "column": 15
          },
          "end": {
            "line": 29,
            "column": 18
          }
        }
      },
      "loc": {
        "start": {
          "line": 29,
          "column": 1
        },
        "end": {
          "line": 29,
          "column": 33
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X21_T5",
        "loc": {
          "start": {
            "line": 30,
            "column": 6
          },
          "end": {
            "line": 30,
            "column": 12
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T21",
          "loc": {
            "start": {
              "line": 30,
              "column": 15
            },
            "end": {
              "line": 30,
              "column": 18
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterInstantiation",
          "params": [
            {
              "type": "TSUnionType",
              "types": [
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "NumberLiteral",
                    "value": 1,
                    "loc": {
                      "start": {
                        "line": 30,
                        "column": 19
                      },
                      "end": {
                        "line": 30,
                        "column": 20
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 30,
                      "column": 19
                    },
                    "end": {
                      "line": 30,
                      "column": 20
                    }
                  }
                },
                {
                  "type": "TSLiteralType",
                  "literal": {
                    "type": "NumberLiteral",
                    "value": 2,
                    "loc": {
                      "start": {
                        "line": 30,
                        "column": 23
                      },
                      "end": {
                        "line": 30,
                        "column": 24
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 30,
                      "column": 23
                    },
                    "end": {
                      "line": 30,
                      "column": 24
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 30,
                  "column": 19
                },
                "end": {
                  "line": 30,
                  "column": 24
                }
              }
            },
            {
              "type": "TSLiteralType",
              "literal": {
                "type": "NumberLiteral",
                "value": 3,
                "loc": {
                  "start": {
                    "line": 30,
                    "column": 26
                  },
                  "end": {
                    "line": 30,
                    "column": 27
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 30,
                  "column": 26
                },
                "end": {
                  "line": 30,
                  "column": 27
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 30,
              "column": 18
            },
            "end": {
              "line": 30,
              "column": 28
            }
          }
        },
        "loc": {
          "start": {
            "line": 30,
            "column": 15
          },
          "end": {
            "line": 30,
            "column": 18
          }
        }
      },
      "loc": {
        "start": {
          "line": 30,
          "column": 1
        },
        "end": {
          "line": 30,
          "column": 29
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "IfEquals",
        "loc": {
          "start": {
            "line": 33,
            "column": 6
          },
          "end": {
            "line": 33,
            "column": 14
          }
        }
      },
      "typeAnnotation": {
        "type": "TSConditionalType",
        "checkType": {
          "type": "TSParenthesizedType",
          "typeAnnotation": {
            "type": "TSFunctionType",
            "params": [],
            "typeParameters": {
              "type": "TSTypeParameterDeclaration",
              "params": [
                {
                  "type": "TSTypeParameter",
                  "name": {
                    "type": "Identifier",
                    "name": "T",
                    "loc": {
                      "start": {
                        "line": 33,
                        "column": 31
                      },
                      "end": {
                        "line": 33,
                        "column": 32
                      }
                    }
                  },
                  "in": false,
                  "out": false,
                  "loc": {
                    "start": {
                      "line": 33,
                      "column": 31
                    },
                    "end": {
                      "line": 33,
                      "column": 33
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 33,
                  "column": 30
                },
                "end": {
                  "line": 33,
                  "column": 33
                }
              }
            },
            "returnType": {
              "type": "TSConditionalType",
              "checkType": {
                "type": "TSTypeReference",
                "typeName": {
                  "type": "Identifier",
                  "name": "T",
                  "loc": {
                    "start": {
                      "line": 33,
                      "column": 39
                    },
                    "end": {
                      "line": 33,
                      "column": 40
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 33,
                    "column": 39
                  },
                  "end": {
                    "line": 33,
                    "column": 40
                  }
                }
              },
              "extendsType": {
                "type": "TSTypeReference",
                "typeName": {
                  "type": "Identifier",
                  "name": "X",
                  "loc": {
                    "start": {
                      "line": 33,
                      "column": 49
                    },
                    "end": {
                      "line": 33,
                      "column": 50
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 33,
                    "column": 49
                  },
                  "end": {
                    "line": 33,
                    "column": 50
                  }
                }
              },
              "trueType": {
                "type": "TSLiteralType",
                "literal": {
                  "type": "NumberLiteral",
                  "value": 1,
                  "loc": {
                    "start": {
                      "line": 33,
                      "column": 53
                    },
                    "end": {
                      "line": 33,
                      "column": 54
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 33,
                    "column": 53
                  },
                  "end": {
                    "line": 33,
                    "column": 54
                  }
                }
              },
              "falseType": {
                "type": "TSLiteralType",
                "literal": {
                  "type": "NumberLiteral",
                  "value": 2,
                  "loc": {
                    "start": {
                      "line": 33,
                      "column": 57
                    },
                    "end": {
                      "line": 33,
                      "column": 58
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 33,
                    "column": 57
                  },
                  "end": {
                    "line": 33,
                    "column": 58
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 33,
                  "column": 39
                },
                "end": {
                  "line": 33,
                  "column": 58
                }
              }
            },
            "loc": {
              "start": {
                "line": 33,
                "column": 30
              },
              "end": {
                "line": 33,
                "column": 58
              }
            }
          },
          "loc": {
            "start": {
              "line": 33,
              "column": 29
            },
            "end": {
              "line": 33,
              "column": 59
            }
          }
        },
        "extendsType": {
          "type": "TSFunctionType",
          "params": [],
          "typeParameters": {
            "type": "TSTypeParameterDeclaration",
            "params": [
              {
                "type": "TSTypeParameter",
                "name": {
                  "type": "Identifier",
                  "name": "T",
                  "loc": {
                    "start": {
                      "line": 33,
                      "column": 69
                    },
                    "end": {
                      "line": 33,
                      "column": 70
                    }
                  }
                },
                "in": false,
                "out": false,
                "loc": {
                  "start": {
                    "line": 33,
                    "column": 69
                  },
                  "end": {
                    "line": 33,
                    "column": 71
                  }
                }
              }
            ],
            "loc": {
              "start": {
                "line": 33,
                "column": 68
              },
              "end": {
                "line": 33,
                "column": 71
              }
            }
          },
          "returnType": {
            "type": "TSConditionalType",
            "checkType": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "T",
                "loc": {
                  "start": {
                    "line": 33,
                    "column": 77
                  },
                  "end": {
                    "line": 33,
                    "column": 78
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 33,
                  "column": 77
                },
                "end": {
                  "line": 33,
                  "column": 78
                }
              }
            },
            "extendsType": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "Y",
                "loc": {
                  "start": {
                    "line": 33,
                    "column": 87
                  },
                  "end": {
                    "line": 33,
                    "column": 88
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 33,
                  "column": 87
                },
                "end": {
                  "line": 33,
                  "column": 88
                }
              }
            },
            "trueType": {
              "type": "TSLiteralType",
              "literal": {
                "type": "NumberLiteral",
                "value": 1,
                "loc": {
                  "start": {
                    "line": 33,
                    "column": 91
                  },
                  "end": {
                    "line": 33,
                    "column": 92
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 33,
                  "column": 91
                },
                "end": {
                  "line": 33,
                  "column": 92
                }
              }
            },
            "falseType": {
              "type": "TSLiteralType",
              "literal": {
                "type": "NumberLiteral",
                "value": 2,
                "loc": {
                  "start": {
                    "line": 33,
                    "column": 95
                  },
                  "end": {
                    "line": 33,
                    "column": 96
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 33,
                  "column": 95
                },
                "end": {
                  "line": 33,
                  "column": 96
                }
              }
            },
            "loc": {
              "start": {
                "line": 33,
                "column": 77
              },
              "end": {
                "line": 33,
                "column": 96
              }
            }
          },
          "loc": {
            "start": {
              "line": 33,
              "column": 68
            },
            "end": {
              "line": 33,
              "column": 96
            }
          }
        },
        "trueType": {
          "type": "TSTypeReference",
          "typeName": {
            "type": "Identifier",
            "name": "A",
            "loc": {
              "start": {
                "line": 33,
                "column": 99
              },
              "end": {
                "line": 33,
                "column": 100
              }
            }
          },
          "loc": {
            "start": {
              "line": 33,
              "column": 99
            },
            "end": {
              "line": 33,
              "column": 100
            }
          }
        },
        "falseType": {
          "type": "TSTypeReference",
          "typeName": {
            "type": "Identifier",
            "name": "B",
            "loc": {
              "start": {
                "line": 33,
                "column": 103
              },
              "end": {
                "line": 33,
                "column": 104
              }
            }
          },
          "loc": {
            "start": {
              "line": 33,
              "column": 103
            },
            "end": {
              "line": 33,
              "column": 104
            }
          }
        },
        "loc": {
          "start": {
            "line": 33,
            "column": 29
          },
          "end": {
            "line": 33,
            "column": 104
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "X",
              "loc": {
                "start": {
                  "line": 33,
                  "column": 15
                },
                "end": {
                  "line": 33,
                  "column": 16
                }
              }
            },
            "in": false,
            "out": false,
            "loc": {
              "start": {
                "line": 33,
                "column": 15
              },
              "end": {
                "line": 33,
                "column": 17
              }
            }
          },
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "Y",
              "loc": {
                "start": {
                  "line": 33,
                  "column": 18
                },
                "end": {
                  "line": 33,
                  "column": 19
                }
              }
            },
            "in": false,
            "out": false,
            "loc": {
              "start": {
                "line": 33,
                "column": 18
              },
              "end": {
                "line": 33,
                "column": 20
              }
            }
          },
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "A",
              "loc": {
                "start": {
                  "line": 33,
                  "column": 21
                },
                "end": {
                  "line": 33,
                  "column": 22
                }
              }
            },
            "in": false,
            "out": false,
            "loc": {
              "start": {
                "line": 33,
                "column": 21
              },
              "end": {
                "line": 33,
                "column": 23
              }
            }
          },
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "B",
              "loc": {
                "start": {
                  "line": 33,
                  "column": 24
                },
                "end": {
                  "line": 33,
                  "column": 25
                }
              }
            },
            "in": false,
            "out": false,
            "loc": {
              "start": {
                "line": 33,
                "column": 24
              },
              "end": {
                "line": 33,
                "column": 26
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 33,
            "column": 14
          },
          "end": {
            "line": 33,
            "column": 26
          }
        }
      },
      "loc": {
        "start": {
          "line": 33,
          "column": 1
        },
        "end": {
          "line": 33,
          "column": 105
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "val1",
            "typeAnnotation": {
              "type": "TSFunctionType",
              "params": [],
              "typeParameters": {
                "type": "TSTypeParameterDeclaration",
                "params": [
                  {
                    "type": "TSTypeParameter",
                    "name": {
                      "type": "Identifier",
                      "name": "T",
                      "loc": {
                        "start": {
                          "line": 35,
                          "column": 22
                        },
                        "end": {
                          "line": 35,
                          "column": 23
                        }
                      }
                    },
                    "in": false,
                    "out": false,
                    "loc": {
                      "start": {
                        "line": 35,
                        "column": 22
                      },
                      "end": {
                        "line": 35,
                        "column": 24
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 35,
                    "column": 21
                  },
                  "end": {
                    "line": 35,
                    "column": 24
                  }
                }
              },
              "returnType": {
                "type": "TSParenthesizedType",
                "typeAnnotation": {
                  "type": "TSConditionalType",
                  "checkType": {
                    "type": "TSTypeReference",
                    "typeName": {
                      "type": "Identifier",
                      "name": "T",
                      "loc": {
                        "start": {
                          "line": 35,
                          "column": 31
                        },
                        "end": {
                          "line": 35,
                          "column": 32
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 35,
                        "column": 31
                      },
                      "end": {
                        "line": 35,
                        "column": 32
                      }
                    }
                  },
                  "extendsType": {
                    "type": "TSInferType",
                    "typeParameter": {
                      "type": "TSTypeParameter",
                      "name": {
                        "type": "Identifier",
                        "name": "U",
                        "loc": {
                          "start": {
                            "line": 35,
                            "column": 47
                          },
                          "end": {
                            "line": 35,
                            "column": 48
                          }
                        }
                      },
                      "constraint": {
                        "type": "TSNumberKeyword",
                        "loc": {
                          "start": {
                            "line": 35,
                            "column": 57
                          },
                          "end": {
                            "line": 35,
                            "column": 63
                          }
                        }
                      },
                      "in": false,
                      "out": false,
                      "loc": {
                        "start": {
                          "line": 35,
                          "column": 47
                        },
                        "end": {
                          "line": 35,
                          "column": 65
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 35,
                        "column": 41
                      },
                      "end": {
                        "line": 35,
                        "column": 65
                      }
                    }
                  },
                  "trueType": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "NumberLiteral",
                      "value": 1,
                      "loc": {
                        "start": {
                          "line": 35,
                          "column": 66
                        },
                        "end": {
                          "line": 35,
                          "column": 67
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 35,
                        "column": 66
                      },
                      "end": {
                        "line": 35,
                        "column": 67
                      }
                    }
                  },
                  "falseType": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "NumberLiteral",
                      "value": 0,
                      "loc": {
                        "start": {
                          "line": 35,
                          "column": 70
                        },
                        "end": {
                          "line": 35,
                          "column": 71
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 35,
                        "column": 70
                      },
                      "end": {
                        "line": 35,
                        "column": 71
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 35,
                      "column": 31
                    },
                    "end": {
                      "line": 35,
                      "column": 71
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 35,
                    "column": 30
                  },
                  "end": {
                    "line": 35,
                    "column": 72
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 35,
                  "column": 21
                },
                "end": {
                  "line": 35,
                  "column": 72
                }
              }
            },
            "loc": {
              "start": {
                "line": 35,
                "column": 15
              },
              "end": {
                "line": 35,
                "column": 19
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 35,
              "column": 15
            },
            "end": {
              "line": 35,
              "column": 19
            }
          }
        }
      ],
      "kind": "const",
      "declare": true,
      "loc": {
        "start": {
          "line": 35,
          "column": 9
        },
        "end": {
          "line": 35,
          "column": 73
        }
      }
    },
    {
      "type": "FunctionDeclaration",
      "function": {
        "type": "ScriptFunction",
        "id": {
          "type": "Identifier",
          "name": "func1",
          "loc": {
            "start": {
              "line": 36,
              "column": 10
            },
            "end": {
              "line": 36,
              "column": 15
            }
          }
        },
        "generator": false,
        "async": false,
        "expression": false,
        "params": [],
        "body": {
          "type": "BlockStatement",
          "statements": [
            {
              "type": "ReturnStatement",
              "argument": {
                "type": "Identifier",
                "name": "val1",
                "loc": {
                  "start": {
                    "line": 37,
                    "column": 12
                  },
                  "end": {
                    "line": 37,
                    "column": 16
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 37,
                  "column": 5
                },
                "end": {
                  "line": 37,
                  "column": 17
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 36,
              "column": 18
            },
            "end": {
              "line": 38,
              "column": 2
            }
          }
        },
        "loc": {
          "start": {
            "line": 36,
            "column": 1
          },
          "end": {
            "line": 38,
            "column": 2
          }
        }
      },
      "loc": {
        "start": {
          "line": 36,
          "column": 1
        },
        "end": {
          "line": 38,
          "column": 2
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "ExpectNumber",
        "loc": {
          "start": {
            "line": 40,
            "column": 6
          },
          "end": {
            "line": 40,
            "column": 18
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeReference",
        "typeName": {
          "type": "Identifier",
          "name": "T",
          "loc": {
            "start": {
              "line": 40,
              "column": 39
            },
            "end": {
              "line": 40,
              "column": 40
            }
          }
        },
        "loc": {
          "start": {
            "line": 40,
            "column": 39
          },
          "end": {
            "line": 40,
            "column": 40
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T",
              "loc": {
                "start": {
                  "line": 40,
                  "column": 19
                },
                "end": {
                  "line": 40,
                  "column": 20
                }
              }
            },
            "constraint": {
              "type": "TSNumberKeyword",
              "loc": {
                "start": {
                  "line": 40,
                  "column": 29
                },
                "end": {
                  "line": 40,
                  "column": 35
                }
              }
            },
            "in": false,
            "out": false,
            "loc": {
              "start": {
                "line": 40,
                "column": 19
              },
              "end": {
                "line": 40,
                "column": 36
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 40,
            "column": 18
          },
          "end": {
            "line": 40,
            "column": 36
          }
        }
      },
      "loc": {
        "start": {
          "line": 40,
          "column": 1
        },
        "end": {
          "line": 40,
          "column": 41
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "val2",
            "typeAnnotation": {
              "type": "TSFunctionType",
              "params": [],
              "typeParameters": {
                "type": "TSTypeParameterDeclaration",
                "params": [
                  {
                    "type": "TSTypeParameter",
                    "name": {
                      "type": "Identifier",
                      "name": "T",
                      "loc": {
                        "start": {
                          "line": 41,
                          "column": 22
                        },
                        "end": {
                          "line": 41,
                          "column": 23
                        }
                      }
                    },
                    "in": false,
                    "out": false,
                    "loc": {
                      "start": {
                        "line": 41,
                        "column": 22
                      },
                      "end": {
                        "line": 41,
                        "column": 24
                      }
                    }
                  }
                ],
                "loc": {
                  "start": {
                    "line": 41,
                    "column": 21
                  },
                  "end": {
                    "line": 41,
                    "column": 24
                  }
                }
              },
              "returnType": {
                "type": "TSParenthesizedType",
                "typeAnnotation": {
                  "type": "TSConditionalType",
                  "checkType": {
                    "type": "TSTypeReference",
                    "typeName": {
                      "type": "Identifier",
                      "name": "T",
                      "loc": {
                        "start": {
                          "line": 41,
                          "column": 31
                        },
                        "end": {
                          "line": 41,
                          "column": 32
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 41,
                        "column": 31
                      },
                      "end": {
                        "line": 41,
                        "column": 32
                      }
                    }
                  },
                  "extendsType": {
                    "type": "TSTypeReference",
                    "typeName": {
                      "type": "Identifier",
                      "name": "ExpectNumber",
                      "loc": {
                        "start": {
                          "line": 41,
                          "column": 41
                        },
                        "end": {
                          "line": 41,
                          "column": 53
                        }
                      }
                    },
                    "typeParameters": {
                      "type": "TSTypeParameterInstantiation",
                      "params": [
                        {
                          "type": "TSInferType",
                          "typeParameter": {
                            "type": "TSTypeParameter",
                            "name": {
                              "type": "Identifier",
                              "name": "U",
                              "loc": {
                                "start": {
                                  "line": 41,
                                  "column": 60
                                },
                                "end": {
                                  "line": 41,
                                  "column": 61
                                }
                              }
                            },
                            "in": false,
                            "out": false,
                            "loc": {
                              "start": {
                                "line": 41,
                                "column": 60
                              },
                              "end": {
                                "line": 41,
                                "column": 62
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 41,
                              "column": 54
                            },
                            "end": {
                              "line": 41,
                              "column": 62
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 41,
                          "column": 53
                        },
                        "end": {
                          "line": 41,
                          "column": 62
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 41,
                        "column": 41
                      },
                      "end": {
                        "line": 41,
                        "column": 53
                      }
                    }
                  },
                  "trueType": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "NumberLiteral",
                      "value": 1,
                      "loc": {
                        "start": {
                          "line": 41,
                          "column": 65
                        },
                        "end": {
                          "line": 41,
                          "column": 66
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 41,
                        "column": 65
                      },
                      "end": {
                        "line": 41,
                        "column": 66
                      }
                    }
                  },
                  "falseType": {
                    "type": "TSLiteralType",
                    "literal": {
                      "type": "NumberLiteral",
                      "value": 0,
                      "loc": {
                        "start": {
                          "line": 41,
                          "column": 69
                        },
                        "end": {
                          "line": 41,
                          "column": 70
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 41,
                        "column": 69
                      },
                      "end": {
                        "line": 41,
                        "column": 70
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 41,
                      "column": 31
                    },
                    "end": {
                      "line": 41,
                      "column": 70
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 41,
                    "column": 30
                  },
                  "end": {
                    "line": 41,
                    "column": 71
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 41,
                  "column": 21
                },
                "end": {
                  "line": 41,
                  "column": 71
                }
              }
            },
            "loc": {
              "start": {
                "line": 41,
                "column": 15
              },
              "end": {
                "line": 41,
                "column": 19
              }
            }
          },
          "init": null,
          "loc": {
            "start": {
              "line": 41,
              "column": 15
            },
            "end": {
              "line": 41,
              "column": 19
            }
          }
        }
      ],
      "kind": "const",
      "declare": true,
      "loc": {
        "start": {
          "line": 41,
          "column": 9
        },
        "end": {
          "line": 41,
          "column": 72
        }
      }
    },
    {
      "type": "FunctionDeclaration",
      "function": {
        "type": "ScriptFunction",
        "id": {
          "type": "Identifier",
          "name": "fun2",
          "loc": {
            "start": {
              "line": 42,
              "column": 10
            },
            "end": {
              "line": 42,
              "column": 14
            }
          }
        },
        "generator": false,
        "async": false,
        "expression": false,
        "params": [],
        "body": {
          "type": "BlockStatement",
          "statements": [
            {
              "type": "ReturnStatement",
              "argument": {
                "type": "Identifier",
                "name": "val2",
                "loc": {
                  "start": {
                    "line": 43,
                    "column": 12
                  },
                  "end": {
                    "line": 43,
                    "column": 16
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 43,
                  "column": 5
                },
                "end": {
                  "line": 43,
                  "column": 17
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 42,
              "column": 17
            },
            "end": {
              "line": 44,
              "column": 2
            }
          }
        },
        "loc": {
          "start": {
            "line": 42,
            "column": 1
          },
          "end": {
            "line": 44,
            "column": 2
          }
        }
      },
      "loc": {
        "start": {
          "line": 42,
          "column": 1
        },
        "end": {
          "line": 44,
          "column": 2
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "X22",
        "loc": {
          "start": {
            "line": 46,
            "column": 6
          },
          "end": {
            "line": 46,
            "column": 9
          }
        }
      },
      "typeAnnotation": {
        "type": "TSConditionalType",
        "checkType": {
          "type": "TSTypeReference",
          "typeName": {
            "type": "Identifier",
            "name": "T",
            "loc": {
              "start": {
                "line": 46,
                "column": 15
              },
              "end": {
                "line": 46,
                "column": 16
              }
            }
          },
          "loc": {
            "start": {
              "line": 46,
              "column": 15
            },
            "end": {
              "line": 46,
              "column": 16
            }
          }
        },
        "extendsType": {
          "type": "TSTupleType",
          "elementTypes": [
            {
              "type": "TSInferType",
              "typeParameter": {
                "type": "TSTypeParameter",
                "name": {
                  "type": "Identifier",
                  "name": "U",
                  "loc": {
                    "start": {
                      "line": 46,
                      "column": 32
                    },
                    "end": {
                      "line": 46,
                      "column": 33
                    }
                  }
                },
                "constraint": {
                  "type": "TSNumberKeyword",
                  "loc": {
                    "start": {
                      "line": 46,
                      "column": 42
                    },
                    "end": {
                      "line": 46,
                      "column": 48
                    }
                  }
                },
                "in": false,
                "out": false,
                "loc": {
                  "start": {
                    "line": 46,
                    "column": 32
                  },
                  "end": {
                    "line": 46,
                    "column": 49
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 46,
                  "column": 26
                },
                "end": {
                  "line": 46,
                  "column": 49
                }
              }
            },
            {
              "type": "TSInferType",
              "typeParameter": {
                "type": "TSTypeParameter",
                "name": {
                  "type": "Identifier",
                  "name": "U",
                  "loc": {
                    "start": {
                      "line": 46,
                      "column": 56
                    },
                    "end": {
                      "line": 46,
                      "column": 57
                    }
                  }
                },
                "constraint": {
                  "type": "TSNumberKeyword",
                  "loc": {
                    "start": {
                      "line": 46,
                      "column": 66
                    },
                    "end": {
                      "line": 46,
                      "column": 72
                    }
                  }
                },
                "in": false,
                "out": false,
                "loc": {
                  "start": {
                    "line": 46,
                    "column": 56
                  },
                  "end": {
                    "line": 46,
                    "column": 73
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 46,
                  "column": 50
                },
                "end": {
                  "line": 46,
                  "column": 73
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 46,
              "column": 25
            },
            "end": {
              "line": 46,
              "column": 73
            }
          }
        },
        "trueType": {
          "type": "TSStringKeyword",
          "loc": {
            "start": {
              "line": 46,
              "column": 76
            },
            "end": {
              "line": 46,
              "column": 82
            }
          }
        },
        "falseType": {
          "type": "TSNeverKeyword",
          "loc": {
            "start": {
              "line": 46,
              "column": 85
            },
            "end": {
              "line": 46,
              "column": 90
            }
          }
        },
        "loc": {
          "start": {
            "line": 46,
            "column": 15
          },
          "end": {
            "line": 46,
            "column": 90
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T",
              "loc": {
                "start": {
                  "line": 46,
                  "column": 10
                },
                "end": {
                  "line": 46,
                  "column": 11
                }
              }
            },
            "in": false,
            "out": false,
            "loc": {
              "start": {
                "line": 46,
                "column": 10
              },
              "end": {
                "line": 46,
                "column": 12
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 46,
            "column": 9
          },
          "end": {
            "line": 46,
            "column": 12
          }
        }
      },
      "loc": {
        "start": {
          "line": 46,
          "column": 1
        },
        "end": {
          "line": 46,
          "column": 91
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "U",
        "loc": {
          "start": {
            "line": 48,
            "column": 6
          },
          "end": {
            "line": 48,
            "column": 7
          }
        }
      },
      "typeAnnotation": {
        "type": "TSLiteralType",
        "literal": {
          "type": "NumberLiteral",
          "value": 1,
          "loc": {
            "start": {
              "line": 48,
              "column": 9
            },
            "end": {
              "line": 48,
              "column": 10
            }
          }
        },
        "loc": {
          "start": {
            "line": 48,
            "column": 9
          },
          "end": {
            "line": 48,
            "column": 10
          }
        }
      },
      "loc": {
        "start": {
          "line": 48,
          "column": 1
        },
        "end": {
          "line": 49,
          "column": 5
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "c",
        "loc": {
          "start": {
            "line": 49,
            "column": 6
          },
          "end": {
            "line": 49,
            "column": 7
          }
        }
      },
      "typeAnnotation": {
        "type": "TSConditionalType",
        "checkType": {
          "type": "TSTypeReference",
          "typeName": {
            "type": "Identifier",
            "name": "T",
            "loc": {
              "start": {
                "line": 49,
                "column": 13
              },
              "end": {
                "line": 49,
                "column": 14
              }
            }
          },
          "loc": {
            "start": {
              "line": 49,
              "column": 13
            },
            "end": {
              "line": 49,
              "column": 14
            }
          }
        },
        "extendsType": {
          "type": "TSTupleType",
          "elementTypes": [
            {
              "type": "TSConditionalType",
              "checkType": {
                "type": "TSInferType",
                "typeParameter": {
                  "type": "TSTypeParameter",
                  "name": {
                    "type": "Identifier",
                    "name": "s",
                    "loc": {
                      "start": {
                        "line": 49,
                        "column": 30
                      },
                      "end": {
                        "line": 49,
                        "column": 31
                      }
                    }
                  },
                  "constraint": {
                    "type": "TSTypeReference",
                    "typeName": {
                      "type": "Identifier",
                      "name": "U",
                      "loc": {
                        "start": {
                          "line": 49,
                          "column": 40
                        },
                        "end": {
                          "line": 49,
                          "column": 41
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 49,
                        "column": 40
                      },
                      "end": {
                        "line": 49,
                        "column": 41
                      }
                    }
                  },
                  "in": false,
                  "out": false,
                  "loc": {
                    "start": {
                      "line": 49,
                      "column": 30
                    },
                    "end": {
                      "line": 49,
                      "column": 49
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 49,
                    "column": 24
                  },
                  "end": {
                    "line": 49,
                    "column": 49
                  }
                }
              },
              "extendsType": {
                "type": "TSNumberKeyword",
                "loc": {
                  "start": {
                    "line": 49,
                    "column": 50
                  },
                  "end": {
                    "line": 49,
                    "column": 56
                  }
                }
              },
              "trueType": {
                "type": "TSLiteralType",
                "literal": {
                  "type": "NumberLiteral",
                  "value": 1,
                  "loc": {
                    "start": {
                      "line": 49,
                      "column": 59
                    },
                    "end": {
                      "line": 49,
                      "column": 60
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 49,
                    "column": 59
                  },
                  "end": {
                    "line": 49,
                    "column": 60
                  }
                }
              },
              "falseType": {
                "type": "TSLiteralType",
                "literal": {
                  "type": "NumberLiteral",
                  "value": 2,
                  "loc": {
                    "start": {
                      "line": 49,
                      "column": 61
                    },
                    "end": {
                      "line": 49,
                      "column": 62
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 49,
                    "column": 61
                  },
                  "end": {
                    "line": 49,
                    "column": 62
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 49,
                  "column": 24
                },
                "end": {
                  "line": 49,
                  "column": 62
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 49,
              "column": 23
            },
            "end": {
              "line": 49,
              "column": 64
            }
          }
        },
        "trueType": {
          "type": "TSLiteralType",
          "literal": {
            "type": "NumberLiteral",
            "value": 1,
            "loc": {
              "start": {
                "line": 49,
                "column": 66
              },
              "end": {
                "line": 49,
                "column": 67
              }
            }
          },
          "loc": {
            "start": {
              "line": 49,
              "column": 66
            },
            "end": {
              "line": 49,
              "column": 67
            }
          }
        },
        "falseType": {
          "type": "TSLiteralType",
          "literal": {
            "type": "NumberLiteral",
            "value": 2,
            "loc": {
              "start": {
                "line": 49,
                "column": 68
              },
              "end": {
                "line": 49,
                "column": 69
              }
            }
          },
          "loc": {
            "start": {
              "line": 49,
              "column": 68
            },
            "end": {
              "line": 49,
              "column": 69
            }
          }
        },
        "loc": {
          "start": {
            "line": 49,
            "column": 13
          },
          "end": {
            "line": 49,
            "column": 69
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T",
              "loc": {
                "start": {
                  "line": 49,
                  "column": 8
                },
                "end": {
                  "line": 49,
                  "column": 9
                }
              }
            },
            "in": false,
            "out": false,
            "loc": {
              "start": {
                "line": 49,
                "column": 8
              },
              "end": {
                "line": 49,
                "column": 10
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 49,
            "column": 7
          },
          "end": {
            "line": 49,
            "column": 10
          }
        }
      },
      "loc": {
        "start": {
          "line": 49,
          "column": 1
        },
        "end": {
          "line": 49,
          "column": 69
        }
      }
    }
  ],
  "loc": {
    "start": {
      "line": 1,
      "column": 1
    },
    "end": {
      "line": 49,
      "column": 69
    }
  }
}
