xref: /arkcompiler/ets_frontend/ets2panda/test/compiler/ets/generic_override_1-expected.txt

{
  "type": "Program",
  "statements": [
    {
      "type": "TSInterfaceDeclaration",
      "body": {
        "type": "TSInterfaceBody",
        "body": [],
        "loc": {
          "start": {
            "line": 16,
            "column": 31
          },
          "end": {
            "line": 16,
            "column": 33
          }
        }
      },
      "id": {
        "type": "Identifier",
        "name": "MutableState",
        "decorators": [],
        "loc": {
          "start": {
            "line": 16,
            "column": 11
          },
          "end": {
            "line": 16,
            "column": 23
          }
        }
      },
      "extends": [],
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "Value",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 16,
                  "column": 24
                },
                "end": {
                  "line": 16,
                  "column": 29
                }
              }
            },
            "loc": {
              "start": {
                "line": 16,
                "column": 24
              },
              "end": {
                "line": 16,
                "column": 30
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 16,
            "column": 23
          },
          "end": {
            "line": 16,
            "column": 30
          }
        }
      },
      "loc": {
        "start": {
          "line": 16,
          "column": 1
        },
        "end": {
          "line": 18,
          "column": 6
        }
      }
    },
    {
      "type": "ClassDeclaration",
      "definition": {
        "id": {
          "type": "Identifier",
          "name": "StateImpl",
          "decorators": [],
          "loc": {
            "start": {
              "line": 18,
              "column": 7
            },
            "end": {
              "line": 18,
              "column": 16
            }
          }
        },
        "typeParameters": {
          "type": "TSTypeParameterDeclaration",
          "params": [
            {
              "type": "TSTypeParameter",
              "name": {
                "type": "Identifier",
                "name": "Value",
                "decorators": [],
                "loc": {
                  "start": {
                    "line": 18,
                    "column": 17
                  },
                  "end": {
                    "line": 18,
                    "column": 22
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 18,
                  "column": 17
                },
                "end": {
                  "line": 18,
                  "column": 23
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 18,
              "column": 16
            },
            "end": {
              "line": 18,
              "column": 23
            }
          }
        },
        "superClass": null,
        "implements": [
          {
            "type": "TSClassImplements",
            "expression": {
              "type": "ETSTypeReference",
              "part": {
                "type": "ETSTypeReferencePart",
                "name": {
                  "type": "Identifier",
                  "name": "MutableState",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 18,
                      "column": 35
                    },
                    "end": {
                      "line": 18,
                      "column": 47
                    }
                  }
                },
                "typeParams": {
                  "type": "TSTypeParameterInstantiation",
                  "params": [
                    {
                      "type": "ETSTypeReference",
                      "part": {
                        "type": "ETSTypeReferencePart",
                        "name": {
                          "type": "Identifier",
                          "name": "Value",
                          "decorators": [],
                          "loc": {
                            "start": {
                              "line": 18,
                              "column": 48
                            },
                            "end": {
                              "line": 18,
                              "column": 53
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 18,
                            "column": 48
                          },
                          "end": {
                            "line": 18,
                            "column": 54
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 18,
                          "column": 48
                        },
                        "end": {
                          "line": 18,
                          "column": 54
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 18,
                      "column": 47
                    },
                    "end": {
                      "line": 18,
                      "column": 54
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 18,
                    "column": 35
                  },
                  "end": {
                    "line": 18,
                    "column": 56
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 18,
                  "column": 35
                },
                "end": {
                  "line": 18,
                  "column": 56
                }
              }
            },
            "loc": {
              "start": {
                "line": 18,
                "column": 35
              },
              "end": {
                "line": 18,
                "column": 56
              }
            }
          }
        ],
        "body": [
          {
            "type": "MethodDefinition",
            "key": {
              "type": "Identifier",
              "name": "constructor",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 1,
                  "column": 1
                },
                "end": {
                  "line": 1,
                  "column": 1
                }
              }
            },
            "kind": "constructor",
            "static": false,
            "optional": false,
            "computed": false,
            "value": {
              "type": "FunctionExpression",
              "function": {
                "type": "ScriptFunction",
                "id": {
                  "type": "Identifier",
                  "name": "constructor",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                },
                "generator": false,
                "async": false,
                "expression": false,
                "params": [],
                "body": {
                  "type": "BlockStatement",
                  "statements": [],
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 1,
                    "column": 1
                  },
                  "end": {
                    "line": 1,
                    "column": 1
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 1,
                  "column": 1
                },
                "end": {
                  "line": 1,
                  "column": 1
                }
              }
            },
            "overloads": [],
            "decorators": [],
            "loc": {
              "start": {
                "line": 18,
                "column": 57
              },
              "end": {
                "line": 18,
                "column": 57
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 18,
            "column": 55
          },
          "end": {
            "line": 18,
            "column": 57
          }
        }
      },
      "loc": {
        "start": {
          "line": 18,
          "column": 1
        },
        "end": {
          "line": 18,
          "column": 57
        }
      }
    },
    {
      "type": "TSInterfaceDeclaration",
      "body": {
        "type": "TSInterfaceBody",
        "body": [
          {
            "type": "MethodDefinition",
            "key": {
              "type": "Identifier",
              "name": "foo",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 21,
                  "column": 5
                },
                "end": {
                  "line": 21,
                  "column": 8
                }
              }
            },
            "kind": "method",
            "accessibility": "public",
            "static": false,
            "optional": false,
            "computed": false,
            "value": {
              "type": "FunctionExpression",
              "function": {
                "type": "ScriptFunction",
                "id": {
                  "type": "Identifier",
                  "name": "foo",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 21,
                      "column": 5
                    },
                    "end": {
                      "line": 21,
                      "column": 8
                    }
                  }
                },
                "generator": false,
                "async": false,
                "expression": false,
                "params": [
                  {
                    "type": "ETSParameterExpression",
                    "name": {
                      "type": "Identifier",
                      "name": "equivalent",
                      "typeAnnotation": {
                        "type": "ETSUnionType",
                        "types": [
                          {
                            "type": "ETSTypeReference",
                            "part": {
                              "type": "ETSTypeReferencePart",
                              "name": {
                                "type": "Identifier",
                                "name": "ValueTracker",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 21,
                                    "column": 29
                                  },
                                  "end": {
                                    "line": 21,
                                    "column": 41
                                  }
                                }
                              },
                              "typeParams": {
                                "type": "TSTypeParameterInstantiation",
                                "params": [
                                  {
                                    "type": "ETSTypeReference",
                                    "part": {
                                      "type": "ETSTypeReferencePart",
                                      "name": {
                                        "type": "Identifier",
                                        "name": "Value",
                                        "decorators": [],
                                        "loc": {
                                          "start": {
                                            "line": 21,
                                            "column": 42
                                          },
                                          "end": {
                                            "line": 21,
                                            "column": 47
                                          }
                                        }
                                      },
                                      "loc": {
                                        "start": {
                                          "line": 21,
                                          "column": 42
                                        },
                                        "end": {
                                          "line": 21,
                                          "column": 48
                                        }
                                      }
                                    },
                                    "loc": {
                                      "start": {
                                        "line": 21,
                                        "column": 42
                                      },
                                      "end": {
                                        "line": 21,
                                        "column": 48
                                      }
                                    }
                                  }
                                ],
                                "loc": {
                                  "start": {
                                    "line": 21,
                                    "column": 41
                                  },
                                  "end": {
                                    "line": 21,
                                    "column": 48
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 21,
                                  "column": 29
                                },
                                "end": {
                                  "line": 21,
                                  "column": 49
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 21,
                                "column": 29
                              },
                              "end": {
                                "line": 21,
                                "column": 49
                              }
                            }
                          },
                          {
                            "type": "ETSUndefinedType",
                            "loc": {
                              "start": {
                                "line": 21,
                                "column": 26
                              },
                              "end": {
                                "line": 21,
                                "column": 27
                              }
                            }
                          }
                        ],
                        "loc": {
                          "start": {
                            "line": 21,
                            "column": 29
                          },
                          "end": {
                            "line": 21,
                            "column": 49
                          }
                        }
                      },
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 21,
                          "column": 16
                        },
                        "end": {
                          "line": 21,
                          "column": 49
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 21,
                        "column": 16
                      },
                      "end": {
                        "line": 21,
                        "column": 49
                      }
                    }
                  },
                  {
                    "type": "ETSParameterExpression",
                    "name": {
                      "type": "Identifier",
                      "name": "tracker",
                      "typeAnnotation": {
                        "type": "ETSUnionType",
                        "types": [
                          {
                            "type": "ETSTypeReference",
                            "part": {
                              "type": "ETSTypeReferencePart",
                              "name": {
                                "type": "Identifier",
                                "name": "ValueTracker",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 21,
                                    "column": 60
                                  },
                                  "end": {
                                    "line": 21,
                                    "column": 72
                                  }
                                }
                              },
                              "typeParams": {
                                "type": "TSTypeParameterInstantiation",
                                "params": [
                                  {
                                    "type": "ETSTypeReference",
                                    "part": {
                                      "type": "ETSTypeReferencePart",
                                      "name": {
                                        "type": "Identifier",
                                        "name": "Value",
                                        "decorators": [],
                                        "loc": {
                                          "start": {
                                            "line": 21,
                                            "column": 73
                                          },
                                          "end": {
                                            "line": 21,
                                            "column": 78
                                          }
                                        }
                                      },
                                      "loc": {
                                        "start": {
                                          "line": 21,
                                          "column": 73
                                        },
                                        "end": {
                                          "line": 21,
                                          "column": 79
                                        }
                                      }
                                    },
                                    "loc": {
                                      "start": {
                                        "line": 21,
                                        "column": 73
                                      },
                                      "end": {
                                        "line": 21,
                                        "column": 79
                                      }
                                    }
                                  }
                                ],
                                "loc": {
                                  "start": {
                                    "line": 21,
                                    "column": 72
                                  },
                                  "end": {
                                    "line": 21,
                                    "column": 79
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 21,
                                  "column": 60
                                },
                                "end": {
                                  "line": 21,
                                  "column": 80
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 21,
                                "column": 60
                              },
                              "end": {
                                "line": 21,
                                "column": 80
                              }
                            }
                          },
                          {
                            "type": "ETSUndefinedType",
                            "loc": {
                              "start": {
                                "line": 21,
                                "column": 57
                              },
                              "end": {
                                "line": 21,
                                "column": 58
                              }
                            }
                          }
                        ],
                        "loc": {
                          "start": {
                            "line": 21,
                            "column": 60
                          },
                          "end": {
                            "line": 21,
                            "column": 80
                          }
                        }
                      },
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 21,
                          "column": 50
                        },
                        "end": {
                          "line": 21,
                          "column": 80
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 21,
                        "column": 50
                      },
                      "end": {
                        "line": 21,
                        "column": 80
                      }
                    }
                  }
                ],
                "returnType": {
                  "type": "ETSTypeReference",
                  "part": {
                    "type": "ETSTypeReferencePart",
                    "name": {
                      "type": "Identifier",
                      "name": "MutableState",
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 21,
                          "column": 82
                        },
                        "end": {
                          "line": 21,
                          "column": 94
                        }
                      }
                    },
                    "typeParams": {
                      "type": "TSTypeParameterInstantiation",
                      "params": [
                        {
                          "type": "ETSTypeReference",
                          "part": {
                            "type": "ETSTypeReferencePart",
                            "name": {
                              "type": "Identifier",
                              "name": "Value",
                              "decorators": [],
                              "loc": {
                                "start": {
                                  "line": 21,
                                  "column": 95
                                },
                                "end": {
                                  "line": 21,
                                  "column": 100
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 21,
                                "column": 95
                              },
                              "end": {
                                "line": 21,
                                "column": 101
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 21,
                              "column": 95
                            },
                            "end": {
                              "line": 21,
                              "column": 101
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 21,
                          "column": 94
                        },
                        "end": {
                          "line": 21,
                          "column": 101
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 21,
                        "column": 82
                      },
                      "end": {
                        "line": 22,
                        "column": 2
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 21,
                      "column": 82
                    },
                    "end": {
                      "line": 22,
                      "column": 2
                    }
                  }
                },
                "typeParameters": {
                  "type": "TSTypeParameterDeclaration",
                  "params": [
                    {
                      "type": "TSTypeParameter",
                      "name": {
                        "type": "Identifier",
                        "name": "Value",
                        "decorators": [],
                        "loc": {
                          "start": {
                            "line": 21,
                            "column": 9
                          },
                          "end": {
                            "line": 21,
                            "column": 14
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 21,
                          "column": 9
                        },
                        "end": {
                          "line": 21,
                          "column": 15
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 21,
                      "column": 8
                    },
                    "end": {
                      "line": 21,
                      "column": 15
                    }
                  }
                },
                "declare": true,
                "loc": {
                  "start": {
                    "line": 21,
                    "column": 8
                  },
                  "end": {
                    "line": 22,
                    "column": 2
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 21,
                  "column": 8
                },
                "end": {
                  "line": 22,
                  "column": 2
                }
              }
            },
            "overloads": [
              {
                "type": "MethodDefinition",
                "key": {
                  "type": "Identifier",
                  "name": "foo",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 21,
                      "column": 5
                    },
                    "end": {
                      "line": 21,
                      "column": 8
                    }
                  }
                },
                "kind": "method",
                "accessibility": "public",
                "static": false,
                "optional": false,
                "computed": false,
                "value": {
                  "type": "FunctionExpression",
                  "function": {
                    "type": "ScriptFunction",
                    "id": {
                      "type": "Identifier",
                      "name": "foo",
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 21,
                          "column": 5
                        },
                        "end": {
                          "line": 21,
                          "column": 8
                        }
                      }
                    },
                    "generator": false,
                    "async": false,
                    "expression": false,
                    "params": [
                      {
                        "type": "ETSParameterExpression",
                        "name": {
                          "type": "Identifier",
                          "name": "equivalent",
                          "typeAnnotation": {
                            "type": "ETSUnionType",
                            "types": [
                              {
                                "type": "ETSTypeReference",
                                "part": {
                                  "type": "ETSTypeReferencePart",
                                  "name": {
                                    "type": "Identifier",
                                    "name": "ValueTracker",
                                    "decorators": [],
                                    "loc": {
                                      "start": {
                                        "line": 21,
                                        "column": 29
                                      },
                                      "end": {
                                        "line": 21,
                                        "column": 41
                                      }
                                    }
                                  },
                                  "typeParams": {
                                    "type": "TSTypeParameterInstantiation",
                                    "params": [
                                      {
                                        "type": "ETSTypeReference",
                                        "part": {
                                          "type": "ETSTypeReferencePart",
                                          "name": {
                                            "type": "Identifier",
                                            "name": "Value",
                                            "decorators": [],
                                            "loc": {
                                              "start": {
                                                "line": 21,
                                                "column": 42
                                              },
                                              "end": {
                                                "line": 21,
                                                "column": 47
                                              }
                                            }
                                          },
                                          "loc": {
                                            "start": {
                                              "line": 21,
                                              "column": 42
                                            },
                                            "end": {
                                              "line": 21,
                                              "column": 48
                                            }
                                          }
                                        },
                                        "loc": {
                                          "start": {
                                            "line": 21,
                                            "column": 42
                                          },
                                          "end": {
                                            "line": 21,
                                            "column": 48
                                          }
                                        }
                                      }
                                    ],
                                    "loc": {
                                      "start": {
                                        "line": 21,
                                        "column": 41
                                      },
                                      "end": {
                                        "line": 21,
                                        "column": 48
                                      }
                                    }
                                  },
                                  "loc": {
                                    "start": {
                                      "line": 21,
                                      "column": 29
                                    },
                                    "end": {
                                      "line": 21,
                                      "column": 49
                                    }
                                  }
                                },
                                "loc": {
                                  "start": {
                                    "line": 21,
                                    "column": 29
                                  },
                                  "end": {
                                    "line": 21,
                                    "column": 49
                                  }
                                }
                              },
                              {
                                "type": "ETSUndefinedType",
                                "loc": {
                                  "start": {
                                    "line": 1,
                                    "column": 1
                                  },
                                  "end": {
                                    "line": 1,
                                    "column": 1
                                  }
                                }
                              }
                            ],
                            "loc": {
                              "start": {
                                "line": 1,
                                "column": 1
                              },
                              "end": {
                                "line": 1,
                                "column": 1
                              }
                            }
                          },
                          "decorators": [],
                          "loc": {
                            "start": {
                              "line": 21,
                              "column": 16
                            },
                            "end": {
                              "line": 21,
                              "column": 49
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 1,
                            "column": 1
                          },
                          "end": {
                            "line": 1,
                            "column": 1
                          }
                        }
                      }
                    ],
                    "returnType": {
                      "type": "ETSTypeReference",
                      "part": {
                        "type": "ETSTypeReferencePart",
                        "name": {
                          "type": "Identifier",
                          "name": "MutableState",
                          "decorators": [],
                          "loc": {
                            "start": {
                              "line": 21,
                              "column": 82
                            },
                            "end": {
                              "line": 21,
                              "column": 94
                            }
                          }
                        },
                        "typeParams": {
                          "type": "TSTypeParameterInstantiation",
                          "params": [
                            {
                              "type": "ETSTypeReference",
                              "part": {
                                "type": "ETSTypeReferencePart",
                                "name": {
                                  "type": "Identifier",
                                  "name": "Value",
                                  "decorators": [],
                                  "loc": {
                                    "start": {
                                      "line": 21,
                                      "column": 95
                                    },
                                    "end": {
                                      "line": 21,
                                      "column": 100
                                    }
                                  }
                                },
                                "loc": {
                                  "start": {
                                    "line": 21,
                                    "column": 95
                                  },
                                  "end": {
                                    "line": 21,
                                    "column": 101
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 21,
                                  "column": 95
                                },
                                "end": {
                                  "line": 21,
                                  "column": 101
                                }
                              }
                            }
                          ],
                          "loc": {
                            "start": {
                              "line": 21,
                              "column": 94
                            },
                            "end": {
                              "line": 21,
                              "column": 101
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 21,
                            "column": 82
                          },
                          "end": {
                            "line": 22,
                            "column": 2
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 21,
                          "column": 82
                        },
                        "end": {
                          "line": 22,
                          "column": 2
                        }
                      }
                    },
                    "typeParameters": {
                      "type": "TSTypeParameterDeclaration",
                      "params": [
                        {
                          "type": "TSTypeParameter",
                          "name": {
                            "type": "Identifier",
                            "name": "Value",
                            "decorators": [],
                            "loc": {
                              "start": {
                                "line": 21,
                                "column": 9
                              },
                              "end": {
                                "line": 21,
                                "column": 14
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 1,
                              "column": 1
                            },
                            "end": {
                              "line": 1,
                              "column": 1
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 1,
                          "column": 1
                        },
                        "end": {
                          "line": 1,
                          "column": 1
                        }
                      }
                    },
                    "body": {
                      "type": "BlockStatement",
                      "statements": [],
                      "loc": {
                        "start": {
                          "line": 1,
                          "column": 1
                        },
                        "end": {
                          "line": 1,
                          "column": 1
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 728,
                        "column": 1
                      },
                      "end": {
                        "line": 728,
                        "column": 1
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                },
                "overloads": [],
                "decorators": [],
                "loc": {
                  "start": {
                    "line": 21,
                    "column": 5
                  },
                  "end": {
                    "line": 1,
                    "column": 1
                  }
                }
              },
              {
                "type": "MethodDefinition",
                "key": {
                  "type": "Identifier",
                  "name": "foo",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 21,
                      "column": 5
                    },
                    "end": {
                      "line": 21,
                      "column": 8
                    }
                  }
                },
                "kind": "method",
                "accessibility": "public",
                "static": false,
                "optional": false,
                "computed": false,
                "value": {
                  "type": "FunctionExpression",
                  "function": {
                    "type": "ScriptFunction",
                    "id": {
                      "type": "Identifier",
                      "name": "foo",
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 21,
                          "column": 5
                        },
                        "end": {
                          "line": 21,
                          "column": 8
                        }
                      }
                    },
                    "generator": false,
                    "async": false,
                    "expression": false,
                    "params": [],
                    "returnType": {
                      "type": "ETSTypeReference",
                      "part": {
                        "type": "ETSTypeReferencePart",
                        "name": {
                          "type": "Identifier",
                          "name": "MutableState",
                          "decorators": [],
                          "loc": {
                            "start": {
                              "line": 21,
                              "column": 82
                            },
                            "end": {
                              "line": 21,
                              "column": 94
                            }
                          }
                        },
                        "typeParams": {
                          "type": "TSTypeParameterInstantiation",
                          "params": [
                            {
                              "type": "ETSTypeReference",
                              "part": {
                                "type": "ETSTypeReferencePart",
                                "name": {
                                  "type": "Identifier",
                                  "name": "Value",
                                  "decorators": [],
                                  "loc": {
                                    "start": {
                                      "line": 21,
                                      "column": 95
                                    },
                                    "end": {
                                      "line": 21,
                                      "column": 100
                                    }
                                  }
                                },
                                "loc": {
                                  "start": {
                                    "line": 21,
                                    "column": 95
                                  },
                                  "end": {
                                    "line": 21,
                                    "column": 101
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 21,
                                  "column": 95
                                },
                                "end": {
                                  "line": 21,
                                  "column": 101
                                }
                              }
                            }
                          ],
                          "loc": {
                            "start": {
                              "line": 21,
                              "column": 94
                            },
                            "end": {
                              "line": 21,
                              "column": 101
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 21,
                            "column": 82
                          },
                          "end": {
                            "line": 22,
                            "column": 2
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 21,
                          "column": 82
                        },
                        "end": {
                          "line": 22,
                          "column": 2
                        }
                      }
                    },
                    "typeParameters": {
                      "type": "TSTypeParameterDeclaration",
                      "params": [
                        {
                          "type": "TSTypeParameter",
                          "name": {
                            "type": "Identifier",
                            "name": "Value",
                            "decorators": [],
                            "loc": {
                              "start": {
                                "line": 21,
                                "column": 9
                              },
                              "end": {
                                "line": 21,
                                "column": 14
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 1,
                              "column": 1
                            },
                            "end": {
                              "line": 1,
                              "column": 1
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 1,
                          "column": 1
                        },
                        "end": {
                          "line": 1,
                          "column": 1
                        }
                      }
                    },
                    "body": {
                      "type": "BlockStatement",
                      "statements": [],
                      "loc": {
                        "start": {
                          "line": 1,
                          "column": 1
                        },
                        "end": {
                          "line": 1,
                          "column": 1
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 728,
                        "column": 1
                      },
                      "end": {
                        "line": 728,
                        "column": 1
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                },
                "overloads": [],
                "decorators": [],
                "loc": {
                  "start": {
                    "line": 21,
                    "column": 5
                  },
                  "end": {
                    "line": 1,
                    "column": 1
                  }
                }
              }
            ],
            "decorators": [],
            "loc": {
              "start": {
                "line": 21,
                "column": 5
              },
              "end": {
                "line": 22,
                "column": 2
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 20,
            "column": 25
          },
          "end": {
            "line": 22,
            "column": 2
          }
        }
      },
      "id": {
        "type": "Identifier",
        "name": "StateManager",
        "decorators": [],
        "loc": {
          "start": {
            "line": 20,
            "column": 11
          },
          "end": {
            "line": 20,
            "column": 23
          }
        }
      },
      "extends": [],
      "loc": {
        "start": {
          "line": 20,
          "column": 1
        },
        "end": {
          "line": 24,
          "column": 10
        }
      }
    },
    {
      "type": "TSInterfaceDeclaration",
      "body": {
        "type": "TSInterfaceBody",
        "body": [],
        "loc": {
          "start": {
            "line": 24,
            "column": 31
          },
          "end": {
            "line": 24,
            "column": 33
          }
        }
      },
      "id": {
        "type": "Identifier",
        "name": "ValueTracker",
        "decorators": [],
        "loc": {
          "start": {
            "line": 24,
            "column": 11
          },
          "end": {
            "line": 24,
            "column": 23
          }
        }
      },
      "extends": [],
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "Value",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 24,
                  "column": 24
                },
                "end": {
                  "line": 24,
                  "column": 29
                }
              }
            },
            "loc": {
              "start": {
                "line": 24,
                "column": 24
              },
              "end": {
                "line": 24,
                "column": 30
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 24,
            "column": 23
          },
          "end": {
            "line": 24,
            "column": 30
          }
        }
      },
      "loc": {
        "start": {
          "line": 24,
          "column": 1
        },
        "end": {
          "line": 26,
          "column": 6
        }
      }
    },
    {
      "type": "ClassDeclaration",
      "definition": {
        "id": {
          "type": "Identifier",
          "name": "StateManagerImpl",
          "decorators": [],
          "loc": {
            "start": {
              "line": 26,
              "column": 7
            },
            "end": {
              "line": 26,
              "column": 23
            }
          }
        },
        "superClass": null,
        "implements": [
          {
            "type": "TSClassImplements",
            "expression": {
              "type": "ETSTypeReference",
              "part": {
                "type": "ETSTypeReferencePart",
                "name": {
                  "type": "Identifier",
                  "name": "StateManager",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 26,
                      "column": 35
                    },
                    "end": {
                      "line": 26,
                      "column": 47
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 26,
                    "column": 35
                  },
                  "end": {
                    "line": 26,
                    "column": 49
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 26,
                  "column": 35
                },
                "end": {
                  "line": 26,
                  "column": 49
                }
              }
            },
            "loc": {
              "start": {
                "line": 26,
                "column": 35
              },
              "end": {
                "line": 26,
                "column": 49
              }
            }
          }
        ],
        "body": [
          {
            "type": "MethodDefinition",
            "key": {
              "type": "Identifier",
              "name": "foo",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 27,
                  "column": 5
                },
                "end": {
                  "line": 27,
                  "column": 8
                }
              }
            },
            "kind": "method",
            "accessibility": "public",
            "static": false,
            "optional": false,
            "computed": false,
            "value": {
              "type": "FunctionExpression",
              "function": {
                "type": "ScriptFunction",
                "id": {
                  "type": "Identifier",
                  "name": "foo",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 27,
                      "column": 5
                    },
                    "end": {
                      "line": 27,
                      "column": 8
                    }
                  }
                },
                "generator": false,
                "async": false,
                "expression": false,
                "params": [
                  {
                    "type": "ETSParameterExpression",
                    "name": {
                      "type": "Identifier",
                      "name": "equivalent",
                      "typeAnnotation": {
                        "type": "ETSUnionType",
                        "types": [
                          {
                            "type": "ETSTypeReference",
                            "part": {
                              "type": "ETSTypeReferencePart",
                              "name": {
                                "type": "Identifier",
                                "name": "ValueTracker",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 27,
                                    "column": 29
                                  },
                                  "end": {
                                    "line": 27,
                                    "column": 41
                                  }
                                }
                              },
                              "typeParams": {
                                "type": "TSTypeParameterInstantiation",
                                "params": [
                                  {
                                    "type": "ETSTypeReference",
                                    "part": {
                                      "type": "ETSTypeReferencePart",
                                      "name": {
                                        "type": "Identifier",
                                        "name": "Value",
                                        "decorators": [],
                                        "loc": {
                                          "start": {
                                            "line": 27,
                                            "column": 42
                                          },
                                          "end": {
                                            "line": 27,
                                            "column": 47
                                          }
                                        }
                                      },
                                      "loc": {
                                        "start": {
                                          "line": 27,
                                          "column": 42
                                        },
                                        "end": {
                                          "line": 27,
                                          "column": 48
                                        }
                                      }
                                    },
                                    "loc": {
                                      "start": {
                                        "line": 27,
                                        "column": 42
                                      },
                                      "end": {
                                        "line": 27,
                                        "column": 48
                                      }
                                    }
                                  }
                                ],
                                "loc": {
                                  "start": {
                                    "line": 27,
                                    "column": 41
                                  },
                                  "end": {
                                    "line": 27,
                                    "column": 48
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 27,
                                  "column": 29
                                },
                                "end": {
                                  "line": 27,
                                  "column": 49
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 27,
                                "column": 29
                              },
                              "end": {
                                "line": 27,
                                "column": 49
                              }
                            }
                          },
                          {
                            "type": "ETSUndefinedType",
                            "loc": {
                              "start": {
                                "line": 27,
                                "column": 27
                              },
                              "end": {
                                "line": 27,
                                "column": 28
                              }
                            }
                          }
                        ],
                        "loc": {
                          "start": {
                            "line": 27,
                            "column": 29
                          },
                          "end": {
                            "line": 27,
                            "column": 49
                          }
                        }
                      },
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 27,
                          "column": 17
                        },
                        "end": {
                          "line": 27,
                          "column": 49
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 27,
                        "column": 17
                      },
                      "end": {
                        "line": 27,
                        "column": 49
                      }
                    }
                  },
                  {
                    "type": "ETSParameterExpression",
                    "name": {
                      "type": "Identifier",
                      "name": "tracker",
                      "typeAnnotation": {
                        "type": "ETSUnionType",
                        "types": [
                          {
                            "type": "ETSTypeReference",
                            "part": {
                              "type": "ETSTypeReferencePart",
                              "name": {
                                "type": "Identifier",
                                "name": "ValueTracker",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 27,
                                    "column": 59
                                  },
                                  "end": {
                                    "line": 27,
                                    "column": 71
                                  }
                                }
                              },
                              "typeParams": {
                                "type": "TSTypeParameterInstantiation",
                                "params": [
                                  {
                                    "type": "ETSTypeReference",
                                    "part": {
                                      "type": "ETSTypeReferencePart",
                                      "name": {
                                        "type": "Identifier",
                                        "name": "Value",
                                        "decorators": [],
                                        "loc": {
                                          "start": {
                                            "line": 27,
                                            "column": 72
                                          },
                                          "end": {
                                            "line": 27,
                                            "column": 77
                                          }
                                        }
                                      },
                                      "loc": {
                                        "start": {
                                          "line": 27,
                                          "column": 72
                                        },
                                        "end": {
                                          "line": 27,
                                          "column": 78
                                        }
                                      }
                                    },
                                    "loc": {
                                      "start": {
                                        "line": 27,
                                        "column": 72
                                      },
                                      "end": {
                                        "line": 27,
                                        "column": 78
                                      }
                                    }
                                  }
                                ],
                                "loc": {
                                  "start": {
                                    "line": 27,
                                    "column": 71
                                  },
                                  "end": {
                                    "line": 27,
                                    "column": 78
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 27,
                                  "column": 59
                                },
                                "end": {
                                  "line": 27,
                                  "column": 79
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 27,
                                "column": 59
                              },
                              "end": {
                                "line": 27,
                                "column": 79
                              }
                            }
                          },
                          {
                            "type": "ETSUndefinedType",
                            "loc": {
                              "start": {
                                "line": 27,
                                "column": 57
                              },
                              "end": {
                                "line": 27,
                                "column": 58
                              }
                            }
                          }
                        ],
                        "loc": {
                          "start": {
                            "line": 27,
                            "column": 59
                          },
                          "end": {
                            "line": 27,
                            "column": 79
                          }
                        }
                      },
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 27,
                          "column": 50
                        },
                        "end": {
                          "line": 27,
                          "column": 79
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 27,
                        "column": 50
                      },
                      "end": {
                        "line": 27,
                        "column": 79
                      }
                    }
                  }
                ],
                "returnType": {
                  "type": "ETSTypeReference",
                  "part": {
                    "type": "ETSTypeReferencePart",
                    "name": {
                      "type": "Identifier",
                      "name": "StateImpl",
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 27,
                          "column": 81
                        },
                        "end": {
                          "line": 27,
                          "column": 90
                        }
                      }
                    },
                    "typeParams": {
                      "type": "TSTypeParameterInstantiation",
                      "params": [
                        {
                          "type": "ETSTypeReference",
                          "part": {
                            "type": "ETSTypeReferencePart",
                            "name": {
                              "type": "Identifier",
                              "name": "Value",
                              "decorators": [],
                              "loc": {
                                "start": {
                                  "line": 27,
                                  "column": 91
                                },
                                "end": {
                                  "line": 27,
                                  "column": 96
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 27,
                                "column": 91
                              },
                              "end": {
                                "line": 27,
                                "column": 97
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 27,
                              "column": 91
                            },
                            "end": {
                              "line": 27,
                              "column": 97
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 27,
                          "column": 90
                        },
                        "end": {
                          "line": 27,
                          "column": 97
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 27,
                        "column": 81
                      },
                      "end": {
                        "line": 27,
                        "column": 99
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 27,
                      "column": 81
                    },
                    "end": {
                      "line": 27,
                      "column": 99
                    }
                  }
                },
                "typeParameters": {
                  "type": "TSTypeParameterDeclaration",
                  "params": [
                    {
                      "type": "TSTypeParameter",
                      "name": {
                        "type": "Identifier",
                        "name": "Value",
                        "decorators": [],
                        "loc": {
                          "start": {
                            "line": 27,
                            "column": 9
                          },
                          "end": {
                            "line": 27,
                            "column": 14
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 27,
                          "column": 9
                        },
                        "end": {
                          "line": 27,
                          "column": 15
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 27,
                      "column": 8
                    },
                    "end": {
                      "line": 27,
                      "column": 15
                    }
                  }
                },
                "body": {
                  "type": "BlockStatement",
                  "statements": [
                    {
                      "type": "ReturnStatement",
                      "argument": {
                        "type": "ETSNewClassInstanceExpression",
                        "typeReference": {
                          "type": "ETSTypeReference",
                          "part": {
                            "type": "ETSTypeReferencePart",
                            "name": {
                              "type": "Identifier",
                              "name": "StateImpl",
                              "decorators": [],
                              "loc": {
                                "start": {
                                  "line": 28,
                                  "column": 20
                                },
                                "end": {
                                  "line": 28,
                                  "column": 29
                                }
                              }
                            },
                            "typeParams": {
                              "type": "TSTypeParameterInstantiation",
                              "params": [
                                {
                                  "type": "ETSTypeReference",
                                  "part": {
                                    "type": "ETSTypeReferencePart",
                                    "name": {
                                      "type": "Identifier",
                                      "name": "Value",
                                      "decorators": [],
                                      "loc": {
                                        "start": {
                                          "line": 28,
                                          "column": 30
                                        },
                                        "end": {
                                          "line": 28,
                                          "column": 35
                                        }
                                      }
                                    },
                                    "loc": {
                                      "start": {
                                        "line": 28,
                                        "column": 30
                                      },
                                      "end": {
                                        "line": 28,
                                        "column": 36
                                      }
                                    }
                                  },
                                  "loc": {
                                    "start": {
                                      "line": 28,
                                      "column": 30
                                    },
                                    "end": {
                                      "line": 28,
                                      "column": 36
                                    }
                                  }
                                }
                              ],
                              "loc": {
                                "start": {
                                  "line": 28,
                                  "column": 29
                                },
                                "end": {
                                  "line": 28,
                                  "column": 36
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 28,
                                "column": 20
                              },
                              "end": {
                                "line": 28,
                                "column": 37
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 28,
                              "column": 20
                            },
                            "end": {
                              "line": 28,
                              "column": 37
                            }
                          }
                        },
                        "arguments": [],
                        "loc": {
                          "start": {
                            "line": 28,
                            "column": 16
                          },
                          "end": {
                            "line": 29,
                            "column": 6
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 28,
                          "column": 9
                        },
                        "end": {
                          "line": 29,
                          "column": 6
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 27,
                      "column": 98
                    },
                    "end": {
                      "line": 29,
                      "column": 6
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 27,
                    "column": 8
                  },
                  "end": {
                    "line": 29,
                    "column": 6
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 27,
                  "column": 8
                },
                "end": {
                  "line": 29,
                  "column": 6
                }
              }
            },
            "overloads": [
              {
                "type": "MethodDefinition",
                "key": {
                  "type": "Identifier",
                  "name": "foo",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 27,
                      "column": 5
                    },
                    "end": {
                      "line": 27,
                      "column": 8
                    }
                  }
                },
                "kind": "method",
                "accessibility": "public",
                "static": false,
                "optional": false,
                "computed": false,
                "value": {
                  "type": "FunctionExpression",
                  "function": {
                    "type": "ScriptFunction",
                    "id": {
                      "type": "Identifier",
                      "name": "foo",
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 27,
                          "column": 5
                        },
                        "end": {
                          "line": 27,
                          "column": 8
                        }
                      }
                    },
                    "generator": false,
                    "async": false,
                    "expression": false,
                    "params": [
                      {
                        "type": "ETSParameterExpression",
                        "name": {
                          "type": "Identifier",
                          "name": "equivalent",
                          "typeAnnotation": {
                            "type": "ETSUnionType",
                            "types": [
                              {
                                "type": "ETSTypeReference",
                                "part": {
                                  "type": "ETSTypeReferencePart",
                                  "name": {
                                    "type": "Identifier",
                                    "name": "ValueTracker",
                                    "decorators": [],
                                    "loc": {
                                      "start": {
                                        "line": 27,
                                        "column": 29
                                      },
                                      "end": {
                                        "line": 27,
                                        "column": 41
                                      }
                                    }
                                  },
                                  "typeParams": {
                                    "type": "TSTypeParameterInstantiation",
                                    "params": [
                                      {
                                        "type": "ETSTypeReference",
                                        "part": {
                                          "type": "ETSTypeReferencePart",
                                          "name": {
                                            "type": "Identifier",
                                            "name": "Value",
                                            "decorators": [],
                                            "loc": {
                                              "start": {
                                                "line": 27,
                                                "column": 42
                                              },
                                              "end": {
                                                "line": 27,
                                                "column": 47
                                              }
                                            }
                                          },
                                          "loc": {
                                            "start": {
                                              "line": 27,
                                              "column": 42
                                            },
                                            "end": {
                                              "line": 27,
                                              "column": 48
                                            }
                                          }
                                        },
                                        "loc": {
                                          "start": {
                                            "line": 27,
                                            "column": 42
                                          },
                                          "end": {
                                            "line": 27,
                                            "column": 48
                                          }
                                        }
                                      }
                                    ],
                                    "loc": {
                                      "start": {
                                        "line": 27,
                                        "column": 41
                                      },
                                      "end": {
                                        "line": 27,
                                        "column": 48
                                      }
                                    }
                                  },
                                  "loc": {
                                    "start": {
                                      "line": 27,
                                      "column": 29
                                    },
                                    "end": {
                                      "line": 27,
                                      "column": 49
                                    }
                                  }
                                },
                                "loc": {
                                  "start": {
                                    "line": 27,
                                    "column": 29
                                  },
                                  "end": {
                                    "line": 27,
                                    "column": 49
                                  }
                                }
                              },
                              {
                                "type": "ETSUndefinedType",
                                "loc": {
                                  "start": {
                                    "line": 1,
                                    "column": 1
                                  },
                                  "end": {
                                    "line": 1,
                                    "column": 1
                                  }
                                }
                              }
                            ],
                            "loc": {
                              "start": {
                                "line": 1,
                                "column": 1
                              },
                              "end": {
                                "line": 1,
                                "column": 1
                              }
                            }
                          },
                          "decorators": [],
                          "loc": {
                            "start": {
                              "line": 27,
                              "column": 17
                            },
                            "end": {
                              "line": 27,
                              "column": 49
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 1,
                            "column": 1
                          },
                          "end": {
                            "line": 1,
                            "column": 1
                          }
                        }
                      }
                    ],
                    "returnType": {
                      "type": "ETSTypeReference",
                      "part": {
                        "type": "ETSTypeReferencePart",
                        "name": {
                          "type": "Identifier",
                          "name": "StateImpl",
                          "decorators": [],
                          "loc": {
                            "start": {
                              "line": 27,
                              "column": 81
                            },
                            "end": {
                              "line": 27,
                              "column": 90
                            }
                          }
                        },
                        "typeParams": {
                          "type": "TSTypeParameterInstantiation",
                          "params": [
                            {
                              "type": "ETSTypeReference",
                              "part": {
                                "type": "ETSTypeReferencePart",
                                "name": {
                                  "type": "Identifier",
                                  "name": "Value",
                                  "decorators": [],
                                  "loc": {
                                    "start": {
                                      "line": 27,
                                      "column": 91
                                    },
                                    "end": {
                                      "line": 27,
                                      "column": 96
                                    }
                                  }
                                },
                                "loc": {
                                  "start": {
                                    "line": 27,
                                    "column": 91
                                  },
                                  "end": {
                                    "line": 27,
                                    "column": 97
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 27,
                                  "column": 91
                                },
                                "end": {
                                  "line": 27,
                                  "column": 97
                                }
                              }
                            }
                          ],
                          "loc": {
                            "start": {
                              "line": 27,
                              "column": 90
                            },
                            "end": {
                              "line": 27,
                              "column": 97
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 27,
                            "column": 81
                          },
                          "end": {
                            "line": 27,
                            "column": 99
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 27,
                          "column": 81
                        },
                        "end": {
                          "line": 27,
                          "column": 99
                        }
                      }
                    },
                    "typeParameters": {
                      "type": "TSTypeParameterDeclaration",
                      "params": [
                        {
                          "type": "TSTypeParameter",
                          "name": {
                            "type": "Identifier",
                            "name": "Value",
                            "decorators": [],
                            "loc": {
                              "start": {
                                "line": 27,
                                "column": 9
                              },
                              "end": {
                                "line": 27,
                                "column": 14
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 1,
                              "column": 1
                            },
                            "end": {
                              "line": 1,
                              "column": 1
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 1,
                          "column": 1
                        },
                        "end": {
                          "line": 1,
                          "column": 1
                        }
                      }
                    },
                    "body": {
                      "type": "BlockStatement",
                      "statements": [
                        {
                          "type": "ReturnStatement",
                          "argument": {
                            "type": "CallExpression",
                            "callee": {
                              "type": "MemberExpression",
                              "object": {
                                "type": "ThisExpression",
                                "loc": {
                                  "start": {
                                    "line": 1,
                                    "column": 1
                                  },
                                  "end": {
                                    "line": 1,
                                    "column": 1
                                  }
                                }
                              },
                              "property": {
                                "type": "Identifier",
                                "name": "foo",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 1,
                                    "column": 1
                                  },
                                  "end": {
                                    "line": 1,
                                    "column": 1
                                  }
                                }
                              },
                              "computed": false,
                              "optional": false,
                              "loc": {
                                "start": {
                                  "line": 1,
                                  "column": 1
                                },
                                "end": {
                                  "line": 1,
                                  "column": 1
                                }
                              }
                            },
                            "arguments": [
                              {
                                "type": "Identifier",
                                "name": "equivalent",
                                "typeAnnotation": {
                                  "type": "ETSUnionType",
                                  "types": [
                                    {
                                      "type": "ETSTypeReference",
                                      "part": {
                                        "type": "ETSTypeReferencePart",
                                        "name": {
                                          "type": "Identifier",
                                          "name": "ValueTracker",
                                          "decorators": [],
                                          "loc": {
                                            "start": {
                                              "line": 27,
                                              "column": 29
                                            },
                                            "end": {
                                              "line": 27,
                                              "column": 41
                                            }
                                          }
                                        },
                                        "typeParams": {
                                          "type": "TSTypeParameterInstantiation",
                                          "params": [
                                            {
                                              "type": "ETSTypeReference",
                                              "part": {
                                                "type": "ETSTypeReferencePart",
                                                "name": {
                                                  "type": "Identifier",
                                                  "name": "Value",
                                                  "decorators": [],
                                                  "loc": {
                                                    "start": {
                                                      "line": 27,
                                                      "column": 42
                                                    },
                                                    "end": {
                                                      "line": 27,
                                                      "column": 47
                                                    }
                                                  }
                                                },
                                                "loc": {
                                                  "start": {
                                                    "line": 27,
                                                    "column": 42
                                                  },
                                                  "end": {
                                                    "line": 27,
                                                    "column": 48
                                                  }
                                                }
                                              },
                                              "loc": {
                                                "start": {
                                                  "line": 27,
                                                  "column": 42
                                                },
                                                "end": {
                                                  "line": 27,
                                                  "column": 48
                                                }
                                              }
                                            }
                                          ],
                                          "loc": {
                                            "start": {
                                              "line": 27,
                                              "column": 41
                                            },
                                            "end": {
                                              "line": 27,
                                              "column": 48
                                            }
                                          }
                                        },
                                        "loc": {
                                          "start": {
                                            "line": 27,
                                            "column": 29
                                          },
                                          "end": {
                                            "line": 27,
                                            "column": 49
                                          }
                                        }
                                      },
                                      "loc": {
                                        "start": {
                                          "line": 27,
                                          "column": 29
                                        },
                                        "end": {
                                          "line": 27,
                                          "column": 49
                                        }
                                      }
                                    },
                                    {
                                      "type": "ETSUndefinedType",
                                      "loc": {
                                        "start": {
                                          "line": 1,
                                          "column": 1
                                        },
                                        "end": {
                                          "line": 1,
                                          "column": 1
                                        }
                                      }
                                    }
                                  ],
                                  "loc": {
                                    "start": {
                                      "line": 1,
                                      "column": 1
                                    },
                                    "end": {
                                      "line": 1,
                                      "column": 1
                                    }
                                  }
                                },
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 27,
                                    "column": 17
                                  },
                                  "end": {
                                    "line": 27,
                                    "column": 49
                                  }
                                }
                              },
                              {
                                "type": "UndefinedLiteral",
                                "value": undefined,
                                "loc": {
                                  "start": {
                                    "line": 1,
                                    "column": 1
                                  },
                                  "end": {
                                    "line": 1,
                                    "column": 1
                                  }
                                }
                              }
                            ],
                            "optional": false,
                            "typeParameters": {
                              "type": "TSTypeParameterInstantiation",
                              "params": [
                                {
                                  "type": "ETSTypeReference",
                                  "part": {
                                    "type": "ETSTypeReferencePart",
                                    "name": {
                                      "type": "Identifier",
                                      "name": "Value",
                                      "decorators": [],
                                      "loc": {
                                        "start": {
                                          "line": 1,
                                          "column": 1
                                        },
                                        "end": {
                                          "line": 1,
                                          "column": 1
                                        }
                                      }
                                    },
                                    "loc": {
                                      "start": {
                                        "line": 1,
                                        "column": 1
                                      },
                                      "end": {
                                        "line": 1,
                                        "column": 1
                                      }
                                    }
                                  },
                                  "loc": {
                                    "start": {
                                      "line": 1,
                                      "column": 1
                                    },
                                    "end": {
                                      "line": 1,
                                      "column": 1
                                    }
                                  }
                                }
                              ],
                              "loc": {
                                "start": {
                                  "line": 1,
                                  "column": 1
                                },
                                "end": {
                                  "line": 1,
                                  "column": 1
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 27,
                                "column": 5
                              },
                              "end": {
                                "line": 29,
                                "column": 6
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 1,
                              "column": 1
                            },
                            "end": {
                              "line": 1,
                              "column": 1
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 1,
                          "column": 1
                        },
                        "end": {
                          "line": 1,
                          "column": 1
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 915,
                        "column": 1
                      },
                      "end": {
                        "line": 915,
                        "column": 1
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                },
                "overloads": [],
                "decorators": [],
                "loc": {
                  "start": {
                    "line": 27,
                    "column": 5
                  },
                  "end": {
                    "line": 1,
                    "column": 1
                  }
                }
              },
              {
                "type": "MethodDefinition",
                "key": {
                  "type": "Identifier",
                  "name": "foo",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 27,
                      "column": 5
                    },
                    "end": {
                      "line": 27,
                      "column": 8
                    }
                  }
                },
                "kind": "method",
                "accessibility": "public",
                "static": false,
                "optional": false,
                "computed": false,
                "value": {
                  "type": "FunctionExpression",
                  "function": {
                    "type": "ScriptFunction",
                    "id": {
                      "type": "Identifier",
                      "name": "foo",
                      "decorators": [],
                      "loc": {
                        "start": {
                          "line": 27,
                          "column": 5
                        },
                        "end": {
                          "line": 27,
                          "column": 8
                        }
                      }
                    },
                    "generator": false,
                    "async": false,
                    "expression": false,
                    "params": [],
                    "returnType": {
                      "type": "ETSTypeReference",
                      "part": {
                        "type": "ETSTypeReferencePart",
                        "name": {
                          "type": "Identifier",
                          "name": "StateImpl",
                          "decorators": [],
                          "loc": {
                            "start": {
                              "line": 27,
                              "column": 81
                            },
                            "end": {
                              "line": 27,
                              "column": 90
                            }
                          }
                        },
                        "typeParams": {
                          "type": "TSTypeParameterInstantiation",
                          "params": [
                            {
                              "type": "ETSTypeReference",
                              "part": {
                                "type": "ETSTypeReferencePart",
                                "name": {
                                  "type": "Identifier",
                                  "name": "Value",
                                  "decorators": [],
                                  "loc": {
                                    "start": {
                                      "line": 27,
                                      "column": 91
                                    },
                                    "end": {
                                      "line": 27,
                                      "column": 96
                                    }
                                  }
                                },
                                "loc": {
                                  "start": {
                                    "line": 27,
                                    "column": 91
                                  },
                                  "end": {
                                    "line": 27,
                                    "column": 97
                                  }
                                }
                              },
                              "loc": {
                                "start": {
                                  "line": 27,
                                  "column": 91
                                },
                                "end": {
                                  "line": 27,
                                  "column": 97
                                }
                              }
                            }
                          ],
                          "loc": {
                            "start": {
                              "line": 27,
                              "column": 90
                            },
                            "end": {
                              "line": 27,
                              "column": 97
                            }
                          }
                        },
                        "loc": {
                          "start": {
                            "line": 27,
                            "column": 81
                          },
                          "end": {
                            "line": 27,
                            "column": 99
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 27,
                          "column": 81
                        },
                        "end": {
                          "line": 27,
                          "column": 99
                        }
                      }
                    },
                    "typeParameters": {
                      "type": "TSTypeParameterDeclaration",
                      "params": [
                        {
                          "type": "TSTypeParameter",
                          "name": {
                            "type": "Identifier",
                            "name": "Value",
                            "decorators": [],
                            "loc": {
                              "start": {
                                "line": 27,
                                "column": 9
                              },
                              "end": {
                                "line": 27,
                                "column": 14
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 1,
                              "column": 1
                            },
                            "end": {
                              "line": 1,
                              "column": 1
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 1,
                          "column": 1
                        },
                        "end": {
                          "line": 1,
                          "column": 1
                        }
                      }
                    },
                    "body": {
                      "type": "BlockStatement",
                      "statements": [
                        {
                          "type": "ReturnStatement",
                          "argument": {
                            "type": "CallExpression",
                            "callee": {
                              "type": "MemberExpression",
                              "object": {
                                "type": "ThisExpression",
                                "loc": {
                                  "start": {
                                    "line": 1,
                                    "column": 1
                                  },
                                  "end": {
                                    "line": 1,
                                    "column": 1
                                  }
                                }
                              },
                              "property": {
                                "type": "Identifier",
                                "name": "foo",
                                "decorators": [],
                                "loc": {
                                  "start": {
                                    "line": 1,
                                    "column": 1
                                  },
                                  "end": {
                                    "line": 1,
                                    "column": 1
                                  }
                                }
                              },
                              "computed": false,
                              "optional": false,
                              "loc": {
                                "start": {
                                  "line": 1,
                                  "column": 1
                                },
                                "end": {
                                  "line": 1,
                                  "column": 1
                                }
                              }
                            },
                            "arguments": [
                              {
                                "type": "UndefinedLiteral",
                                "value": undefined,
                                "loc": {
                                  "start": {
                                    "line": 1,
                                    "column": 1
                                  },
                                  "end": {
                                    "line": 1,
                                    "column": 1
                                  }
                                }
                              },
                              {
                                "type": "UndefinedLiteral",
                                "value": undefined,
                                "loc": {
                                  "start": {
                                    "line": 1,
                                    "column": 1
                                  },
                                  "end": {
                                    "line": 1,
                                    "column": 1
                                  }
                                }
                              }
                            ],
                            "optional": false,
                            "typeParameters": {
                              "type": "TSTypeParameterInstantiation",
                              "params": [
                                {
                                  "type": "ETSTypeReference",
                                  "part": {
                                    "type": "ETSTypeReferencePart",
                                    "name": {
                                      "type": "Identifier",
                                      "name": "Value",
                                      "decorators": [],
                                      "loc": {
                                        "start": {
                                          "line": 1,
                                          "column": 1
                                        },
                                        "end": {
                                          "line": 1,
                                          "column": 1
                                        }
                                      }
                                    },
                                    "loc": {
                                      "start": {
                                        "line": 1,
                                        "column": 1
                                      },
                                      "end": {
                                        "line": 1,
                                        "column": 1
                                      }
                                    }
                                  },
                                  "loc": {
                                    "start": {
                                      "line": 1,
                                      "column": 1
                                    },
                                    "end": {
                                      "line": 1,
                                      "column": 1
                                    }
                                  }
                                }
                              ],
                              "loc": {
                                "start": {
                                  "line": 1,
                                  "column": 1
                                },
                                "end": {
                                  "line": 1,
                                  "column": 1
                                }
                              }
                            },
                            "loc": {
                              "start": {
                                "line": 27,
                                "column": 5
                              },
                              "end": {
                                "line": 29,
                                "column": 6
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 1,
                              "column": 1
                            },
                            "end": {
                              "line": 1,
                              "column": 1
                            }
                          }
                        }
                      ],
                      "loc": {
                        "start": {
                          "line": 1,
                          "column": 1
                        },
                        "end": {
                          "line": 1,
                          "column": 1
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 915,
                        "column": 1
                      },
                      "end": {
                        "line": 915,
                        "column": 1
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                },
                "overloads": [],
                "decorators": [],
                "loc": {
                  "start": {
                    "line": 27,
                    "column": 5
                  },
                  "end": {
                    "line": 1,
                    "column": 1
                  }
                }
              }
            ],
            "decorators": [],
            "loc": {
              "start": {
                "line": 27,
                "column": 5
              },
              "end": {
                "line": 29,
                "column": 6
              }
            }
          },
          {
            "type": "MethodDefinition",
            "key": {
              "type": "Identifier",
              "name": "constructor",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 1,
                  "column": 1
                },
                "end": {
                  "line": 1,
                  "column": 1
                }
              }
            },
            "kind": "constructor",
            "static": false,
            "optional": false,
            "computed": false,
            "value": {
              "type": "FunctionExpression",
              "function": {
                "type": "ScriptFunction",
                "id": {
                  "type": "Identifier",
                  "name": "constructor",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                },
                "generator": false,
                "async": false,
                "expression": false,
                "params": [],
                "body": {
                  "type": "BlockStatement",
                  "statements": [],
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 1,
                    "column": 1
                  },
                  "end": {
                    "line": 1,
                    "column": 1
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 1,
                  "column": 1
                },
                "end": {
                  "line": 1,
                  "column": 1
                }
              }
            },
            "overloads": [],
            "decorators": [],
            "loc": {
              "start": {
                "line": 30,
                "column": 2
              },
              "end": {
                "line": 30,
                "column": 2
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 26,
            "column": 48
          },
          "end": {
            "line": 30,
            "column": 2
          }
        }
      },
      "loc": {
        "start": {
          "line": 26,
          "column": 1
        },
        "end": {
          "line": 30,
          "column": 2
        }
      }
    },
    {
      "type": "ClassDeclaration",
      "definition": {
        "id": {
          "type": "Identifier",
          "name": "ETSGLOBAL",
          "decorators": [],
          "loc": {
            "start": {
              "line": 1,
              "column": 1
            },
            "end": {
              "line": 1,
              "column": 1
            }
          }
        },
        "superClass": null,
        "implements": [],
        "body": [
          {
            "type": "MethodDefinition",
            "key": {
              "type": "Identifier",
              "name": "_$init$_",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 1,
                  "column": 1
                },
                "end": {
                  "line": 1,
                  "column": 1
                }
              }
            },
            "kind": "method",
            "accessibility": "public",
            "static": true,
            "optional": false,
            "computed": false,
            "value": {
              "type": "FunctionExpression",
              "function": {
                "type": "ScriptFunction",
                "id": {
                  "type": "Identifier",
                  "name": "_$init$_",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                },
                "generator": false,
                "async": false,
                "expression": false,
                "params": [],
                "body": {
                  "type": "BlockStatement",
                  "statements": [],
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 1
                    },
                    "end": {
                      "line": 1,
                      "column": 1
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 1,
                    "column": 1
                  },
                  "end": {
                    "line": 1,
                    "column": 1
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 1,
                  "column": 1
                },
                "end": {
                  "line": 1,
                  "column": 1
                }
              }
            },
            "overloads": [],
            "decorators": [],
            "loc": {
              "start": {
                "line": 1,
                "column": 1
              },
              "end": {
                "line": 1,
                "column": 1
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 1,
            "column": 1
          },
          "end": {
            "line": 1,
            "column": 1
          }
        }
      },
      "loc": {
        "start": {
          "line": 1,
          "column": 1
        },
        "end": {
          "line": 1,
          "column": 1
        }
      }
    }
  ],
  "loc": {
    "start": {
      "line": 1,
      "column": 1
    },
    "end": {
      "line": 31,
      "column": 1
    }
  }
}