compiler/ts/objectLiteralAssignability16-expected.txt

{
  "type": "Program",
  "statements": [
    {
      "type": "TSInterfaceDeclaration",
      "body": {
        "type": "TSInterfaceBody",
        "body": [
          {
            "type": "TSPropertySignature",
            "computed": false,
            "optional": false,
            "readonly": false,
            "key": {
              "type": "Identifier",
              "name": "a",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 18,
                  "column": 5
                },
                "end": {
                  "line": 18,
                  "column": 6
                }
              }
            },
            "typeAnnotation": {
              "type": "TSNumberKeyword",
              "loc": {
                "start": {
                  "line": 18,
                  "column": 8
                },
                "end": {
                  "line": 18,
                  "column": 14
                }
              }
            },
            "loc": {
              "start": {
                "line": 18,
                "column": 5
              },
              "end": {
                "line": 18,
                "column": 15
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 17,
            "column": 13
          },
          "end": {
            "line": 19,
            "column": 2
          }
        }
      },
      "id": {
        "type": "Identifier",
        "name": "a",
        "decorators": [],
        "loc": {
          "start": {
            "line": 17,
            "column": 11
          },
          "end": {
            "line": 17,
            "column": 12
          }
        }
      },
      "extends": [],
      "loc": {
        "start": {
          "line": 17,
          "column": 1
        },
        "end": {
          "line": 19,
          "column": 2
        }
      }
    },
    {
      "type": "TSInterfaceDeclaration",
      "body": {
        "type": "TSInterfaceBody",
        "body": [
          {
            "type": "TSPropertySignature",
            "computed": false,
            "optional": false,
            "readonly": false,
            "key": {
              "type": "Identifier",
              "name": "a",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 22,
                  "column": 5
                },
                "end": {
                  "line": 22,
                  "column": 6
                }
              }
            },
            "typeAnnotation": {
              "type": "TSNumberKeyword",
              "loc": {
                "start": {
                  "line": 22,
                  "column": 8
                },
                "end": {
                  "line": 22,
                  "column": 14
                }
              }
            },
            "loc": {
              "start": {
                "line": 22,
                "column": 5
              },
              "end": {
                "line": 22,
                "column": 15
              }
            }
          },
          {
            "type": "TSPropertySignature",
            "computed": false,
            "optional": false,
            "readonly": false,
            "key": {
              "type": "Identifier",
              "name": "b",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 23,
                  "column": 5
                },
                "end": {
                  "line": 23,
                  "column": 6
                }
              }
            },
            "typeAnnotation": {
              "type": "TSStringKeyword",
              "loc": {
                "start": {
                  "line": 23,
                  "column": 8
                },
                "end": {
                  "line": 23,
                  "column": 14
                }
              }
            },
            "loc": {
              "start": {
                "line": 23,
                "column": 5
              },
              "end": {
                "line": 23,
                "column": 15
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 21,
            "column": 13
          },
          "end": {
            "line": 24,
            "column": 2
          }
        }
      },
      "id": {
        "type": "Identifier",
        "name": "b",
        "decorators": [],
        "loc": {
          "start": {
            "line": 21,
            "column": 11
          },
          "end": {
            "line": 21,
            "column": 12
          }
        }
      },
      "extends": [],
      "loc": {
        "start": {
          "line": 21,
          "column": 1
        },
        "end": {
          "line": 24,
          "column": 2
        }
      }
    },
    {
      "type": "TSInterfaceDeclaration",
      "body": {
        "type": "TSInterfaceBody",
        "body": [
          {
            "type": "TSPropertySignature",
            "computed": false,
            "optional": false,
            "readonly": false,
            "key": {
              "type": "Identifier",
              "name": "a",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 27,
                  "column": 5
                },
                "end": {
                  "line": 27,
                  "column": 6
                }
              }
            },
            "typeAnnotation": {
              "type": "TSNumberKeyword",
              "loc": {
                "start": {
                  "line": 27,
                  "column": 8
                },
                "end": {
                  "line": 27,
                  "column": 14
                }
              }
            },
            "loc": {
              "start": {
                "line": 27,
                "column": 5
              },
              "end": {
                "line": 27,
                "column": 15
              }
            }
          },
          {
            "type": "TSPropertySignature",
            "computed": false,
            "optional": false,
            "readonly": false,
            "key": {
              "type": "Identifier",
              "name": "b",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 28,
                  "column": 5
                },
                "end": {
                  "line": 28,
                  "column": 6
                }
              }
            },
            "typeAnnotation": {
              "type": "TSStringKeyword",
              "loc": {
                "start": {
                  "line": 28,
                  "column": 8
                },
                "end": {
                  "line": 28,
                  "column": 14
                }
              }
            },
            "loc": {
              "start": {
                "line": 28,
                "column": 5
              },
              "end": {
                "line": 28,
                "column": 15
              }
            }
          },
          {
            "type": "TSPropertySignature",
            "computed": false,
            "optional": false,
            "readonly": false,
            "key": {
              "type": "Identifier",
              "name": "c",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 29,
                  "column": 5
                },
                "end": {
                  "line": 29,
                  "column": 6
                }
              }
            },
            "typeAnnotation": {
              "type": "TSBooleanKeyword",
              "loc": {
                "start": {
                  "line": 29,
                  "column": 8
                },
                "end": {
                  "line": 29,
                  "column": 15
                }
              }
            },
            "loc": {
              "start": {
                "line": 29,
                "column": 5
              },
              "end": {
                "line": 30,
                "column": 2
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 26,
            "column": 13
          },
          "end": {
            "line": 30,
            "column": 2
          }
        }
      },
      "id": {
        "type": "Identifier",
        "name": "c",
        "decorators": [],
        "loc": {
          "start": {
            "line": 26,
            "column": 11
          },
          "end": {
            "line": 26,
            "column": 12
          }
        }
      },
      "extends": [],
      "loc": {
        "start": {
          "line": 26,
          "column": 1
        },
        "end": {
          "line": 30,
          "column": 2
        }
      }
    },
    {
      "type": "TSInterfaceDeclaration",
      "body": {
        "type": "TSInterfaceBody",
        "body": [
          {
            "type": "TSPropertySignature",
            "computed": false,
            "optional": false,
            "readonly": false,
            "key": {
              "type": "Identifier",
              "name": "d",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 33,
                  "column": 5
                },
                "end": {
                  "line": 33,
                  "column": 6
                }
              }
            },
            "typeAnnotation": {
              "type": "TSNumberKeyword",
              "loc": {
                "start": {
                  "line": 33,
                  "column": 8
                },
                "end": {
                  "line": 33,
                  "column": 14
                }
              }
            },
            "loc": {
              "start": {
                "line": 33,
                "column": 5
              },
              "end": {
                "line": 34,
                "column": 2
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 32,
            "column": 29
          },
          "end": {
            "line": 34,
            "column": 2
          }
        }
      },
      "id": {
        "type": "Identifier",
        "name": "d",
        "decorators": [],
        "loc": {
          "start": {
            "line": 32,
            "column": 11
          },
          "end": {
            "line": 32,
            "column": 12
          }
        }
      },
      "extends": [
        {
          "type": "TSInterfaceHeritage",
          "expression": {
            "type": "TSTypeReference",
            "typeName": {
              "type": "Identifier",
              "name": "a",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 32,
                  "column": 21
                },
                "end": {
                  "line": 32,
                  "column": 22
                }
              }
            },
            "loc": {
              "start": {
                "line": 32,
                "column": 22
              },
              "end": {
                "line": 32,
                "column": 22
              }
            }
          },
          "loc": {
            "start": {
              "line": 32,
              "column": 22
            },
            "end": {
              "line": 32,
              "column": 22
            }
          }
        },
        {
          "type": "TSInterfaceHeritage",
          "expression": {
            "type": "TSTypeReference",
            "typeName": {
              "type": "Identifier",
              "name": "b",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 32,
                  "column": 24
                },
                "end": {
                  "line": 32,
                  "column": 25
                }
              }
            },
            "loc": {
              "start": {
                "line": 32,
                "column": 25
              },
              "end": {
                "line": 32,
                "column": 25
              }
            }
          },
          "loc": {
            "start": {
              "line": 32,
              "column": 25
            },
            "end": {
              "line": 32,
              "column": 25
            }
          }
        },
        {
          "type": "TSInterfaceHeritage",
          "expression": {
            "type": "TSTypeReference",
            "typeName": {
              "type": "Identifier",
              "name": "c",
              "decorators": [],
              "loc": {
                "start": {
                  "line": 32,
                  "column": 27
                },
                "end": {
                  "line": 32,
                  "column": 28
                }
              }
            },
            "loc": {
              "start": {
                "line": 32,
                "column": 29
              },
              "end": {
                "line": 32,
                "column": 28
              }
            }
          },
          "loc": {
            "start": {
              "line": 32,
              "column": 29
            },
            "end": {
              "line": 32,
              "column": 28
            }
          }
        }
      ],
      "loc": {
        "start": {
          "line": 32,
          "column": 1
        },
        "end": {
          "line": 34,
          "column": 2
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "a",
            "typeAnnotation": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "d",
                "decorators": [],
                "loc": {
                  "start": {
                    "line": 36,
                    "column": 8
                  },
                  "end": {
                    "line": 36,
                    "column": 9
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 36,
                  "column": 8
                },
                "end": {
                  "line": 36,
                  "column": 9
                }
              }
            },
            "decorators": [],
            "loc": {
              "start": {
                "line": 36,
                "column": 5
              },
              "end": {
                "line": 36,
                "column": 6
              }
            }
          },
          "init": {
            "type": "ObjectExpression",
            "properties": [
              {
                "type": "Property",
                "method": false,
                "shorthand": false,
                "computed": false,
                "key": {
                  "type": "Identifier",
                  "name": "a",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 14
                    },
                    "end": {
                      "line": 36,
                      "column": 15
                    }
                  }
                },
                "value": {
                  "type": "NumberLiteral",
                  "value": 5,
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 17
                    },
                    "end": {
                      "line": 36,
                      "column": 18
                    }
                  }
                },
                "kind": "init",
                "loc": {
                  "start": {
                    "line": 36,
                    "column": 14
                  },
                  "end": {
                    "line": 36,
                    "column": 18
                  }
                }
              },
              {
                "type": "Property",
                "method": false,
                "shorthand": false,
                "computed": false,
                "key": {
                  "type": "Identifier",
                  "name": "b",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 20
                    },
                    "end": {
                      "line": 36,
                      "column": 21
                    }
                  }
                },
                "value": {
                  "type": "StringLiteral",
                  "value": "foo",
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 23
                    },
                    "end": {
                      "line": 36,
                      "column": 28
                    }
                  }
                },
                "kind": "init",
                "loc": {
                  "start": {
                    "line": 36,
                    "column": 20
                  },
                  "end": {
                    "line": 36,
                    "column": 28
                  }
                }
              },
              {
                "type": "Property",
                "method": false,
                "shorthand": false,
                "computed": false,
                "key": {
                  "type": "Identifier",
                  "name": "c",
                  "decorators": [],
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 30
                    },
                    "end": {
                      "line": 36,
                      "column": 31
                    }
                  }
                },
                "value": {
                  "type": "BooleanLiteral",
                  "value": true,
                  "loc": {
                    "start": {
                      "line": 36,
                      "column": 33
                    },
                    "end": {
                      "line": 36,
                      "column": 37
                    }
                  }
                },
                "kind": "init",
                "loc": {
                  "start": {
                    "line": 36,
                    "column": 30
                  },
                  "end": {
                    "line": 36,
                    "column": 37
                  }
                }
              }
            ],
            "loc": {
              "start": {
                "line": 36,
                "column": 12
              },
              "end": {
                "line": 36,
                "column": 39
              }
            }
          },
          "loc": {
            "start": {
              "line": 36,
              "column": 5
            },
            "end": {
              "line": 36,
              "column": 39
            }
          }
        }
      ],
      "kind": "var",
      "loc": {
        "start": {
          "line": 36,
          "column": 1
        },
        "end": {
          "line": 36,
          "column": 40
        }
      }
    }
  ],
  "loc": {
    "start": {
      "line": 1,
      "column": 1
    },
    "end": {
      "line": 36,
      "column": 40
    }
  }
}
TypeError: Type '{ a: 5; b: "foo"; c: true; }' is not assignable to type 'd'. [objectLiteralAssignability16.ts:36:5]