parser/ts/test_satisfies3-expected.txt

{
  "type": "Program",
  "statements": [
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "obj",
            "typeAnnotation": {
              "type": "TSIntersectionType",
              "types": [
                {
                  "type": "TSTypeLiteral",
                  "members": [
                    {
                      "type": "TSMethodSignature",
                      "computed": false,
                      "optional": false,
                      "isGetAccessor": false,
                      "isSetAccessor": false,
                      "key": {
                        "type": "Identifier",
                        "name": "f",
                        "loc": {
                          "start": {
                            "line": 17,
                            "column": 12
                          },
                          "end": {
                            "line": 17,
                            "column": 13
                          }
                        }
                      },
                      "params": [
                        {
                          "type": "Identifier",
                          "name": "s",
                          "typeAnnotation": {
                            "type": "TSStringKeyword",
                            "loc": {
                              "start": {
                                "line": 17,
                                "column": 17
                              },
                              "end": {
                                "line": 17,
                                "column": 23
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 17,
                              "column": 14
                            },
                            "end": {
                              "line": 17,
                              "column": 15
                            }
                          }
                        }
                      ],
                      "typeAnnotation": {
                        "type": "TSVoidKeyword",
                        "loc": {
                          "start": {
                            "line": 17,
                            "column": 26
                          },
                          "end": {
                            "line": 17,
                            "column": 30
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 17,
                          "column": 12
                        },
                        "end": {
                          "line": 17,
                          "column": 32
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 17,
                      "column": 10
                    },
                    "end": {
                      "line": 17,
                      "column": 32
                    }
                  }
                },
                {
                  "type": "TSTypeReference",
                  "typeName": {
                    "type": "Identifier",
                    "name": "Record",
                    "loc": {
                      "start": {
                        "line": 17,
                        "column": 35
                      },
                      "end": {
                        "line": 17,
                        "column": 41
                      }
                    }
                  },
                  "typeParameters": {
                    "type": "TSTypeParameterInstantiation",
                    "params": [
                      {
                        "type": "TSStringKeyword",
                        "loc": {
                          "start": {
                            "line": 17,
                            "column": 42
                          },
                          "end": {
                            "line": 17,
                            "column": 48
                          }
                        }
                      },
                      {
                        "type": "TSUnknownKeyword",
                        "loc": {
                          "start": {
                            "line": 17,
                            "column": 50
                          },
                          "end": {
                            "line": 17,
                            "column": 57
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 17,
                        "column": 41
                      },
                      "end": {
                        "line": 17,
                        "column": 58
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 17,
                      "column": 35
                    },
                    "end": {
                      "line": 17,
                      "column": 41
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 17,
                  "column": 10
                },
                "end": {
                  "line": 17,
                  "column": 41
                }
              }
            },
            "loc": {
              "start": {
                "line": 17,
                "column": 5
              },
              "end": {
                "line": 17,
                "column": 8
              }
            }
          },
          "init": {
            "type": "TSSatisfiesExpression",
            "expression": {
              "type": "ObjectExpression",
              "properties": [
                {
                  "type": "Property",
                  "method": true,
                  "shorthand": false,
                  "computed": false,
                  "key": {
                    "type": "Identifier",
                    "name": "f",
                    "loc": {
                      "start": {
                        "line": 18,
                        "column": 5
                      },
                      "end": {
                        "line": 18,
                        "column": 6
                      }
                    }
                  },
                  "value": {
                    "type": "FunctionExpression",
                    "function": {
                      "type": "ScriptFunction",
                      "id": null,
                      "generator": false,
                      "async": false,
                      "expression": false,
                      "params": [
                        {
                          "type": "Identifier",
                          "name": "s",
                          "loc": {
                            "start": {
                              "line": 18,
                              "column": 7
                            },
                            "end": {
                              "line": 18,
                              "column": 8
                            }
                          }
                        }
                      ],
                      "body": {
                        "type": "BlockStatement",
                        "statements": [],
                        "loc": {
                          "start": {
                            "line": 18,
                            "column": 10
                          },
                          "end": {
                            "line": 18,
                            "column": 13
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 18,
                          "column": 6
                        },
                        "end": {
                          "line": 18,
                          "column": 13
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 18,
                        "column": 6
                      },
                      "end": {
                        "line": 18,
                        "column": 13
                      }
                    }
                  },
                  "kind": "init",
                  "loc": {
                    "start": {
                      "line": 18,
                      "column": 5
                    },
                    "end": {
                      "line": 18,
                      "column": 13
                    }
                  }
                },
                {
                  "type": "Property",
                  "method": true,
                  "shorthand": false,
                  "computed": false,
                  "key": {
                    "type": "Identifier",
                    "name": "g",
                    "loc": {
                      "start": {
                        "line": 19,
                        "column": 5
                      },
                      "end": {
                        "line": 19,
                        "column": 6
                      }
                    }
                  },
                  "value": {
                    "type": "FunctionExpression",
                    "function": {
                      "type": "ScriptFunction",
                      "id": null,
                      "generator": false,
                      "async": false,
                      "expression": false,
                      "params": [
                        {
                          "type": "Identifier",
                          "name": "s",
                          "loc": {
                            "start": {
                              "line": 19,
                              "column": 7
                            },
                            "end": {
                              "line": 19,
                              "column": 8
                            }
                          }
                        }
                      ],
                      "body": {
                        "type": "BlockStatement",
                        "statements": [],
                        "loc": {
                          "start": {
                            "line": 19,
                            "column": 10
                          },
                          "end": {
                            "line": 19,
                            "column": 13
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 19,
                          "column": 6
                        },
                        "end": {
                          "line": 19,
                          "column": 13
                        }
                      }
                    },
                    "loc": {
                      "start": {
                        "line": 19,
                        "column": 6
                      },
                      "end": {
                        "line": 19,
                        "column": 13
                      }
                    }
                  },
                  "kind": "init",
                  "loc": {
                    "start": {
                      "line": 19,
                      "column": 5
                    },
                    "end": {
                      "line": 19,
                      "column": 13
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 17,
                  "column": 61
                },
                "end": {
                  "line": 20,
                  "column": 2
                }
              }
            },
            "typeAnnotation": {
              "type": "TSIntersectionType",
              "types": [
                {
                  "type": "TSTypeLiteral",
                  "members": [
                    {
                      "type": "TSMethodSignature",
                      "computed": false,
                      "optional": false,
                      "isGetAccessor": false,
                      "isSetAccessor": false,
                      "key": {
                        "type": "Identifier",
                        "name": "g",
                        "loc": {
                          "start": {
                            "line": 20,
                            "column": 15
                          },
                          "end": {
                            "line": 20,
                            "column": 16
                          }
                        }
                      },
                      "params": [
                        {
                          "type": "Identifier",
                          "name": "s",
                          "typeAnnotation": {
                            "type": "TSStringKeyword",
                            "loc": {
                              "start": {
                                "line": 20,
                                "column": 20
                              },
                              "end": {
                                "line": 20,
                                "column": 26
                              }
                            }
                          },
                          "loc": {
                            "start": {
                              "line": 20,
                              "column": 17
                            },
                            "end": {
                              "line": 20,
                              "column": 18
                            }
                          }
                        }
                      ],
                      "typeAnnotation": {
                        "type": "TSVoidKeyword",
                        "loc": {
                          "start": {
                            "line": 20,
                            "column": 29
                          },
                          "end": {
                            "line": 20,
                            "column": 33
                          }
                        }
                      },
                      "loc": {
                        "start": {
                          "line": 20,
                          "column": 15
                        },
                        "end": {
                          "line": 20,
                          "column": 35
                        }
                      }
                    }
                  ],
                  "loc": {
                    "start": {
                      "line": 20,
                      "column": 13
                    },
                    "end": {
                      "line": 20,
                      "column": 35
                    }
                  }
                },
                {
                  "type": "TSTypeReference",
                  "typeName": {
                    "type": "Identifier",
                    "name": "Record",
                    "loc": {
                      "start": {
                        "line": 20,
                        "column": 38
                      },
                      "end": {
                        "line": 20,
                        "column": 44
                      }
                    }
                  },
                  "typeParameters": {
                    "type": "TSTypeParameterInstantiation",
                    "params": [
                      {
                        "type": "TSStringKeyword",
                        "loc": {
                          "start": {
                            "line": 20,
                            "column": 45
                          },
                          "end": {
                            "line": 20,
                            "column": 51
                          }
                        }
                      },
                      {
                        "type": "TSUnknownKeyword",
                        "loc": {
                          "start": {
                            "line": 20,
                            "column": 53
                          },
                          "end": {
                            "line": 20,
                            "column": 60
                          }
                        }
                      }
                    ],
                    "loc": {
                      "start": {
                        "line": 20,
                        "column": 44
                      },
                      "end": {
                        "line": 20,
                        "column": 61
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 20,
                      "column": 38
                    },
                    "end": {
                      "line": 20,
                      "column": 44
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 20,
                  "column": 13
                },
                "end": {
                  "line": 20,
                  "column": 44
                }
              }
            },
            "loc": {
              "start": {
                "line": 17,
                "column": 61
              },
              "end": {
                "line": 20,
                "column": 62
              }
            }
          },
          "loc": {
            "start": {
              "line": 17,
              "column": 5
            },
            "end": {
              "line": 20,
              "column": 62
            }
          }
        }
      ],
      "kind": "let",
      "loc": {
        "start": {
          "line": 17,
          "column": 1
        },
        "end": {
          "line": 20,
          "column": 62
        }
      }
    },
    {
      "type": "ExpressionStatement",
      "expression": {
        "type": "TSSatisfiesExpression",
        "expression": {
          "type": "ObjectExpression",
          "properties": [
            {
              "type": "Property",
              "method": true,
              "shorthand": false,
              "computed": false,
              "key": {
                "type": "Identifier",
                "name": "f",
                "loc": {
                  "start": {
                    "line": 22,
                    "column": 4
                  },
                  "end": {
                    "line": 22,
                    "column": 5
                  }
                }
              },
              "value": {
                "type": "FunctionExpression",
                "function": {
                  "type": "ScriptFunction",
                  "id": null,
                  "generator": false,
                  "async": false,
                  "expression": false,
                  "params": [
                    {
                      "type": "Identifier",
                      "name": "x",
                      "loc": {
                        "start": {
                          "line": 22,
                          "column": 6
                        },
                        "end": {
                          "line": 22,
                          "column": 7
                        }
                      }
                    }
                  ],
                  "body": {
                    "type": "BlockStatement",
                    "statements": [],
                    "loc": {
                      "start": {
                        "line": 22,
                        "column": 9
                      },
                      "end": {
                        "line": 22,
                        "column": 12
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 22,
                      "column": 5
                    },
                    "end": {
                      "line": 22,
                      "column": 12
                    }
                  }
                },
                "loc": {
                  "start": {
                    "line": 22,
                    "column": 5
                  },
                  "end": {
                    "line": 22,
                    "column": 12
                  }
                }
              },
              "kind": "init",
              "loc": {
                "start": {
                  "line": 22,
                  "column": 4
                },
                "end": {
                  "line": 22,
                  "column": 12
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 22,
              "column": 1
            },
            "end": {
              "line": 22,
              "column": 15
            }
          }
        },
        "typeAnnotation": {
          "type": "TSTypeLiteral",
          "members": [
            {
              "type": "TSMethodSignature",
              "computed": false,
              "optional": false,
              "isGetAccessor": false,
              "isSetAccessor": false,
              "key": {
                "type": "Identifier",
                "name": "f",
                "loc": {
                  "start": {
                    "line": 22,
                    "column": 28
                  },
                  "end": {
                    "line": 22,
                    "column": 29
                  }
                }
              },
              "params": [
                {
                  "type": "Identifier",
                  "name": "s",
                  "typeAnnotation": {
                    "type": "TSStringKeyword",
                    "loc": {
                      "start": {
                        "line": 22,
                        "column": 33
                      },
                      "end": {
                        "line": 22,
                        "column": 39
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 22,
                      "column": 30
                    },
                    "end": {
                      "line": 22,
                      "column": 31
                    }
                  }
                }
              ],
              "typeAnnotation": {
                "type": "TSVoidKeyword",
                "loc": {
                  "start": {
                    "line": 22,
                    "column": 42
                  },
                  "end": {
                    "line": 22,
                    "column": 46
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 22,
                  "column": 28
                },
                "end": {
                  "line": 22,
                  "column": 48
                }
              }
            }
          ],
          "loc": {
            "start": {
              "line": 22,
              "column": 26
            },
            "end": {
              "line": 22,
              "column": 48
            }
          }
        },
        "loc": {
          "start": {
            "line": 22,
            "column": 1
          },
          "end": {
            "line": 22,
            "column": 49
          }
        }
      },
      "loc": {
        "start": {
          "line": 22,
          "column": 1
        },
        "end": {
          "line": 22,
          "column": 49
        }
      }
    }
  ],
  "loc": {
    "start": {
      "line": 1,
      "column": 1
    },
    "end": {
      "line": 22,
      "column": 49
    }
  }
}