1  {
  2    "Assert": {
  3      "variant": {
  4        "AssertEq": [
  5          {
  6            "Path": {
  7              "qualifier": [],
  8              "identifier": {
  9                "name": "x",
 10                "span": {
 11                  "lo": 10,
 12                  "hi": 11
 13                },
 14                "id": 2
 15              },
 16              "is_absolute": false,
 17              "absolute_path": null,
 18              "span": {
 19                "lo": 10,
 20                "hi": 11
 21              },
 22              "id": 1
 23            }
 24          },
 25          {
 26            "Path": {
 27              "qualifier": [],
 28              "identifier": {
 29                "name": "y",
 30                "span": {
 31                  "lo": 13,
 32                  "hi": 14
 33                },
 34                "id": 4
 35              },
 36              "is_absolute": false,
 37              "absolute_path": null,
 38              "span": {
 39                "lo": 13,
 40                "hi": 14
 41              },
 42              "id": 3
 43            }
 44          }
 45        ]
 46      },
 47      "span": {
 48        "lo": 0,
 49        "hi": 16
 50      },
 51      "id": 0
 52    }
 53  }
 54  
 55  {
 56    "Assert": {
 57      "variant": {
 58        "AssertEq": [
 59          {
 60            "Composite": {
 61              "path": {
 62                "qualifier": [],
 63                "identifier": {
 64                  "name": "Foo",
 65                  "span": {
 66                    "lo": 27,
 67                    "hi": 30
 68                  },
 69                  "id": 6
 70                },
 71                "is_absolute": false,
 72                "absolute_path": null,
 73                "span": {
 74                  "lo": 27,
 75                  "hi": 30
 76                },
 77                "id": 7
 78              },
 79              "const_arguments": [],
 80              "members": [
 81                {
 82                  "identifier": {
 83                    "name": "x",
 84                    "span": {
 85                      "lo": 33,
 86                      "hi": 34
 87                    },
 88                    "id": 4
 89                  },
 90                  "expression": {
 91                    "Path": {
 92                      "qualifier": [],
 93                      "identifier": {
 94                        "name": "x",
 95                        "span": {
 96                          "lo": 36,
 97                          "hi": 37
 98                        },
 99                        "id": 3
100                      },
101                      "is_absolute": false,
102                      "absolute_path": null,
103                      "span": {
104                        "lo": 36,
105                        "hi": 37
106                      },
107                      "id": 2
108                    }
109                  },
110                  "span": {
111                    "lo": 33,
112                    "hi": 37
113                  },
114                  "id": 5
115                }
116              ],
117              "span": {
118                "lo": 27,
119                "hi": 39
120              },
121              "id": 1
122            }
123          },
124          {
125            "Composite": {
126              "path": {
127                "qualifier": [],
128                "identifier": {
129                  "name": "Foo",
130                  "span": {
131                    "lo": 41,
132                    "hi": 44
133                  },
134                  "id": 13
135                },
136                "is_absolute": false,
137                "absolute_path": null,
138                "span": {
139                  "lo": 41,
140                  "hi": 44
141                },
142                "id": 14
143              },
144              "const_arguments": [],
145              "members": [
146                {
147                  "identifier": {
148                    "name": "x",
149                    "span": {
150                      "lo": 47,
151                      "hi": 48
152                    },
153                    "id": 11
154                  },
155                  "expression": {
156                    "Path": {
157                      "qualifier": [],
158                      "identifier": {
159                        "name": "y",
160                        "span": {
161                          "lo": 50,
162                          "hi": 51
163                        },
164                        "id": 10
165                      },
166                      "is_absolute": false,
167                      "absolute_path": null,
168                      "span": {
169                        "lo": 50,
170                        "hi": 51
171                      },
172                      "id": 9
173                    }
174                  },
175                  "span": {
176                    "lo": 47,
177                    "hi": 51
178                  },
179                  "id": 12
180                }
181              ],
182              "span": {
183                "lo": 41,
184                "hi": 53
185              },
186              "id": 8
187            }
188          }
189        ]
190      },
191      "span": {
192        "lo": 17,
193        "hi": 55
194      },
195      "id": 0
196    }
197  }
198  
199  {
200    "Assert": {
201      "variant": {
202        "AssertNeq": [
203          {
204            "Path": {
205              "qualifier": [],
206              "identifier": {
207                "name": "x",
208                "span": {
209                  "lo": 67,
210                  "hi": 68
211                },
212                "id": 2
213              },
214              "is_absolute": false,
215              "absolute_path": null,
216              "span": {
217                "lo": 67,
218                "hi": 68
219              },
220              "id": 1
221            }
222          },
223          {
224            "Path": {
225              "qualifier": [],
226              "identifier": {
227                "name": "y",
228                "span": {
229                  "lo": 70,
230                  "hi": 71
231                },
232                "id": 4
233              },
234              "is_absolute": false,
235              "absolute_path": null,
236              "span": {
237                "lo": 70,
238                "hi": 71
239              },
240              "id": 3
241            }
242          }
243        ]
244      },
245      "span": {
246        "lo": 56,
247        "hi": 73
248      },
249      "id": 0
250    }
251  }
252  
253  {
254    "Assert": {
255      "variant": {
256        "Assert": {
257          "Literal": {
258            "span": {
259              "lo": 81,
260              "hi": 86
261            },
262            "id": 1,
263            "variant": {
264              "Boolean": false
265            }
266          }
267        }
268      },
269      "span": {
270        "lo": 74,
271        "hi": 88
272      },
273      "id": 0
274    }
275  }
276