{
  "type": "Program",
  "statements": [
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "Type1",
        "decorators": [],
        "loc": {
          "start": {
            "line": 1,
            "column": 6
          },
          "end": {
            "line": 1,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSMappedType",
        "typeParameter": {
          "type": "TSTypeParameter",
          "name": {
            "type": "Identifier",
            "name": "prop",
            "decorators": [],
            "loc": {
              "start": {
                "line": 1,
                "column": 31
              },
              "end": {
                "line": 1,
                "column": 35
              }
            }
          },
          "constraint": {
            "type": "TSTypeOperator",
            "operator": "keyof",
            "typeAnnotation": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "T1",
                "decorators": [],
                "loc": {
                  "start": {
                    "line": 1,
                    "column": 45
                  },
                  "end": {
                    "line": 1,
                    "column": 47
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 1,
                  "column": 45
                },
                "end": {
                  "line": 1,
                  "column": 47
                }
              }
            },
            "loc": {
              "start": {
                "line": 1,
                "column": 39
              },
              "end": {
                "line": 1,
                "column": 47
              }
            }
          },
          "loc": {
            "start": {
              "line": 1,
              "column": 31
            },
            "end": {
              "line": 1,
              "column": 47
            }
          }
        },
        "typeAnnotation": {
          "type": "TSBooleanKeyword",
          "loc": {
            "start": {
              "line": 1,
              "column": 52
            },
            "end": {
              "line": 1,
              "column": 59
            }
          }
        },
        "readonly": "-",
        "optional": "-",
        "loc": {
          "start": {
            "line": 1,
            "column": 18
          },
          "end": {
            "line": 1,
            "column": 62
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T1",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 1,
                  "column": 12
                },
                "end": {
                  "line": 1,
                  "column": 14
                }
              }
            },
            "loc": {
              "start": {
                "line": 1,
                "column": 12
              },
              "end": {
                "line": 1,
                "column": 15
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 1,
            "column": 11
          },
          "end": {
            "line": 1,
            "column": 15
          }
        }
      },
      "loc": {
        "start": {
          "line": 1,
          "column": 1
        },
        "end": {
          "line": 1,
          "column": 63
        }
      }
    },
    {
      "type": "EmptyStatement",
      "loc": {
        "start": {
          "line": 1,
          "column": 62
        },
        "end": {
          "line": 1,
          "column": 63
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "Type2",
        "decorators": [],
        "loc": {
          "start": {
            "line": 2,
            "column": 6
          },
          "end": {
            "line": 2,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSMappedType",
        "typeParameter": {
          "type": "TSTypeParameter",
          "name": {
            "type": "Identifier",
            "name": "prop",
            "decorators": [],
            "loc": {
              "start": {
                "line": 2,
                "column": 31
              },
              "end": {
                "line": 2,
                "column": 35
              }
            }
          },
          "constraint": {
            "type": "TSTypeOperator",
            "operator": "keyof",
            "typeAnnotation": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "T2",
                "decorators": [],
                "loc": {
                  "start": {
                    "line": 2,
                    "column": 45
                  },
                  "end": {
                    "line": 2,
                    "column": 47
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 2,
                  "column": 45
                },
                "end": {
                  "line": 2,
                  "column": 47
                }
              }
            },
            "loc": {
              "start": {
                "line": 2,
                "column": 39
              },
              "end": {
                "line": 2,
                "column": 47
              }
            }
          },
          "loc": {
            "start": {
              "line": 2,
              "column": 31
            },
            "end": {
              "line": 2,
              "column": 47
            }
          }
        },
        "typeAnnotation": {
          "type": "TSBooleanKeyword",
          "loc": {
            "start": {
              "line": 2,
              "column": 52
            },
            "end": {
              "line": 2,
              "column": 59
            }
          }
        },
        "readonly": "+",
        "optional": "+",
        "loc": {
          "start": {
            "line": 2,
            "column": 18
          },
          "end": {
            "line": 2,
            "column": 62
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T2",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 2,
                  "column": 12
                },
                "end": {
                  "line": 2,
                  "column": 14
                }
              }
            },
            "loc": {
              "start": {
                "line": 2,
                "column": 12
              },
              "end": {
                "line": 2,
                "column": 15
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 2,
            "column": 11
          },
          "end": {
            "line": 2,
            "column": 15
          }
        }
      },
      "loc": {
        "start": {
          "line": 2,
          "column": 1
        },
        "end": {
          "line": 2,
          "column": 63
        }
      }
    },
    {
      "type": "EmptyStatement",
      "loc": {
        "start": {
          "line": 2,
          "column": 62
        },
        "end": {
          "line": 2,
          "column": 63
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "Type3",
        "decorators": [],
        "loc": {
          "start": {
            "line": 3,
            "column": 6
          },
          "end": {
            "line": 3,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSMappedType",
        "typeParameter": {
          "type": "TSTypeParameter",
          "name": {
            "type": "Identifier",
            "name": "prop",
            "decorators": [],
            "loc": {
              "start": {
                "line": 3,
                "column": 30
              },
              "end": {
                "line": 3,
                "column": 34
              }
            }
          },
          "constraint": {
            "type": "TSTypeOperator",
            "operator": "keyof",
            "typeAnnotation": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "T3",
                "decorators": [],
                "loc": {
                  "start": {
                    "line": 3,
                    "column": 44
                  },
                  "end": {
                    "line": 3,
                    "column": 46
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 3,
                  "column": 44
                },
                "end": {
                  "line": 3,
                  "column": 46
                }
              }
            },
            "loc": {
              "start": {
                "line": 3,
                "column": 38
              },
              "end": {
                "line": 3,
                "column": 46
              }
            }
          },
          "loc": {
            "start": {
              "line": 3,
              "column": 30
            },
            "end": {
              "line": 3,
              "column": 46
            }
          }
        },
        "typeAnnotation": {
          "type": "TSBooleanKeyword",
          "loc": {
            "start": {
              "line": 3,
              "column": 50
            },
            "end": {
              "line": 3,
              "column": 57
            }
          }
        },
        "readonly": "+",
        "optional": "+",
        "loc": {
          "start": {
            "line": 3,
            "column": 18
          },
          "end": {
            "line": 3,
            "column": 60
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T3",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 3,
                  "column": 12
                },
                "end": {
                  "line": 3,
                  "column": 14
                }
              }
            },
            "loc": {
              "start": {
                "line": 3,
                "column": 12
              },
              "end": {
                "line": 3,
                "column": 15
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 3,
            "column": 11
          },
          "end": {
            "line": 3,
            "column": 15
          }
        }
      },
      "loc": {
        "start": {
          "line": 3,
          "column": 1
        },
        "end": {
          "line": 3,
          "column": 61
        }
      }
    },
    {
      "type": "EmptyStatement",
      "loc": {
        "start": {
          "line": 3,
          "column": 60
        },
        "end": {
          "line": 3,
          "column": 61
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "Type4",
        "decorators": [],
        "loc": {
          "start": {
            "line": 4,
            "column": 6
          },
          "end": {
            "line": 4,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSMappedType",
        "typeParameter": {
          "type": "TSTypeParameter",
          "name": {
            "type": "Identifier",
            "name": "prop",
            "decorators": [],
            "loc": {
              "start": {
                "line": 4,
                "column": 21
              },
              "end": {
                "line": 4,
                "column": 25
              }
            }
          },
          "constraint": {
            "type": "TSTypeOperator",
            "operator": "keyof",
            "typeAnnotation": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "T4",
                "decorators": [],
                "loc": {
                  "start": {
                    "line": 4,
                    "column": 35
                  },
                  "end": {
                    "line": 4,
                    "column": 37
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 4,
                  "column": 35
                },
                "end": {
                  "line": 4,
                  "column": 37
                }
              }
            },
            "loc": {
              "start": {
                "line": 4,
                "column": 29
              },
              "end": {
                "line": 4,
                "column": 37
              }
            }
          },
          "loc": {
            "start": {
              "line": 4,
              "column": 21
            },
            "end": {
              "line": 4,
              "column": 37
            }
          }
        },
        "typeAnnotation": {
          "type": "TSBooleanKeyword",
          "loc": {
            "start": {
              "line": 4,
              "column": 40
            },
            "end": {
              "line": 4,
              "column": 47
            }
          }
        },
        "loc": {
          "start": {
            "line": 4,
            "column": 18
          },
          "end": {
            "line": 4,
            "column": 50
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T4",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 4,
                  "column": 12
                },
                "end": {
                  "line": 4,
                  "column": 14
                }
              }
            },
            "loc": {
              "start": {
                "line": 4,
                "column": 12
              },
              "end": {
                "line": 4,
                "column": 15
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 4,
            "column": 11
          },
          "end": {
            "line": 4,
            "column": 15
          }
        }
      },
      "loc": {
        "start": {
          "line": 4,
          "column": 1
        },
        "end": {
          "line": 4,
          "column": 51
        }
      }
    },
    {
      "type": "EmptyStatement",
      "loc": {
        "start": {
          "line": 4,
          "column": 50
        },
        "end": {
          "line": 4,
          "column": 51
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "Type5",
        "decorators": [],
        "loc": {
          "start": {
            "line": 5,
            "column": 6
          },
          "end": {
            "line": 5,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSMappedType",
        "typeParameter": {
          "type": "TSTypeParameter",
          "name": {
            "type": "Identifier",
            "name": "prop",
            "decorators": [],
            "loc": {
              "start": {
                "line": 5,
                "column": 21
              },
              "end": {
                "line": 5,
                "column": 25
              }
            }
          },
          "constraint": {
            "type": "TSTypeOperator",
            "operator": "keyof",
            "typeAnnotation": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "T5",
                "decorators": [],
                "loc": {
                  "start": {
                    "line": 5,
                    "column": 35
                  },
                  "end": {
                    "line": 5,
                    "column": 37
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 5,
                  "column": 35
                },
                "end": {
                  "line": 5,
                  "column": 37
                }
              }
            },
            "loc": {
              "start": {
                "line": 5,
                "column": 29
              },
              "end": {
                "line": 5,
                "column": 37
              }
            }
          },
          "loc": {
            "start": {
              "line": 5,
              "column": 21
            },
            "end": {
              "line": 5,
              "column": 37
            }
          }
        },
        "typeAnnotation": {
          "type": "TSBooleanKeyword",
          "loc": {
            "start": {
              "line": 5,
              "column": 40
            },
            "end": {
              "line": 5,
              "column": 47
            }
          }
        },
        "loc": {
          "start": {
            "line": 5,
            "column": 18
          },
          "end": {
            "line": 5,
            "column": 49
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T5",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 5,
                  "column": 12
                },
                "end": {
                  "line": 5,
                  "column": 14
                }
              }
            },
            "loc": {
              "start": {
                "line": 5,
                "column": 12
              },
              "end": {
                "line": 5,
                "column": 15
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 5,
            "column": 11
          },
          "end": {
            "line": 5,
            "column": 15
          }
        }
      },
      "loc": {
        "start": {
          "line": 5,
          "column": 1
        },
        "end": {
          "line": 5,
          "column": 50
        }
      }
    },
    {
      "type": "EmptyStatement",
      "loc": {
        "start": {
          "line": 5,
          "column": 49
        },
        "end": {
          "line": 5,
          "column": 50
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "Type6",
        "decorators": [],
        "loc": {
          "start": {
            "line": 6,
            "column": 6
          },
          "end": {
            "line": 6,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSMappedType",
        "typeParameter": {
          "type": "TSTypeParameter",
          "name": {
            "type": "Identifier",
            "name": "prop",
            "decorators": [],
            "loc": {
              "start": {
                "line": 6,
                "column": 21
              },
              "end": {
                "line": 6,
                "column": 25
              }
            }
          },
          "constraint": {
            "type": "TSTypeOperator",
            "operator": "keyof",
            "typeAnnotation": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "T6",
                "decorators": [],
                "loc": {
                  "start": {
                    "line": 6,
                    "column": 35
                  },
                  "end": {
                    "line": 6,
                    "column": 37
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 6,
                  "column": 35
                },
                "end": {
                  "line": 6,
                  "column": 37
                }
              }
            },
            "loc": {
              "start": {
                "line": 6,
                "column": 29
              },
              "end": {
                "line": 6,
                "column": 37
              }
            }
          },
          "loc": {
            "start": {
              "line": 6,
              "column": 21
            },
            "end": {
              "line": 6,
              "column": 37
            }
          }
        },
        "loc": {
          "start": {
            "line": 6,
            "column": 18
          },
          "end": {
            "line": 6,
            "column": 41
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T6",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 6,
                  "column": 12
                },
                "end": {
                  "line": 6,
                  "column": 14
                }
              }
            },
            "loc": {
              "start": {
                "line": 6,
                "column": 12
              },
              "end": {
                "line": 6,
                "column": 15
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 6,
            "column": 11
          },
          "end": {
            "line": 6,
            "column": 15
          }
        }
      },
      "loc": {
        "start": {
          "line": 6,
          "column": 1
        },
        "end": {
          "line": 6,
          "column": 42
        }
      }
    },
    {
      "type": "EmptyStatement",
      "loc": {
        "start": {
          "line": 6,
          "column": 41
        },
        "end": {
          "line": 6,
          "column": 42
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "Type7",
        "decorators": [],
        "loc": {
          "start": {
            "line": 7,
            "column": 6
          },
          "end": {
            "line": 7,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSMappedType",
        "typeParameter": {
          "type": "TSTypeParameter",
          "name": {
            "type": "Identifier",
            "name": "prop",
            "decorators": [],
            "loc": {
              "start": {
                "line": 7,
                "column": 21
              },
              "end": {
                "line": 7,
                "column": 25
              }
            }
          },
          "constraint": {
            "type": "TSTypeOperator",
            "operator": "keyof",
            "typeAnnotation": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "T7",
                "decorators": [],
                "loc": {
                  "start": {
                    "line": 7,
                    "column": 35
                  },
                  "end": {
                    "line": 7,
                    "column": 37
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 7,
                  "column": 35
                },
                "end": {
                  "line": 7,
                  "column": 37
                }
              }
            },
            "loc": {
              "start": {
                "line": 7,
                "column": 29
              },
              "end": {
                "line": 7,
                "column": 37
              }
            }
          },
          "loc": {
            "start": {
              "line": 7,
              "column": 21
            },
            "end": {
              "line": 7,
              "column": 37
            }
          }
        },
        "loc": {
          "start": {
            "line": 7,
            "column": 18
          },
          "end": {
            "line": 7,
            "column": 40
          }
        }
      },
      "typeParameters": {
        "type": "TSTypeParameterDeclaration",
        "params": [
          {
            "type": "TSTypeParameter",
            "name": {
              "type": "Identifier",
              "name": "T7",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 7,
                  "column": 12
                },
                "end": {
                  "line": 7,
                  "column": 14
                }
              }
            },
            "loc": {
              "start": {
                "line": 7,
                "column": 12
              },
              "end": {
                "line": 7,
                "column": 15
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 7,
            "column": 11
          },
          "end": {
            "line": 7,
            "column": 15
          }
        }
      },
      "loc": {
        "start": {
          "line": 7,
          "column": 1
        },
        "end": {
          "line": 7,
          "column": 41
        }
      }
    },
    {
      "type": "EmptyStatement",
      "loc": {
        "start": {
          "line": 7,
          "column": 40
        },
        "end": {
          "line": 7,
          "column": 41
        }
      }
    }
  ],
  "loc": {
    "start": {
      "line": 1,
      "column": 1
    },
    "end": {
      "line": 7,
      "column": 41
    }
  }
}
