cuelang.org/go@v0.13.0/cue/testdata/eval/notify.txtar (about)

     1  
     2  -- in.cue --
     3  t1: p1: {
     4  	a
     5  	a: a: 2|1
     6  }
     7  t1: p2: {
     8  	a: a: 2|1
     9  	a
    10  }
    11  t2: p1: {
    12  	d: d.a
    13  	d: a: a: 2|1
    14  }
    15  t2: p2: {
    16  	d: d.a
    17  	d: a: a: 2|1
    18  }
    19  t3: p1: {
    20  	b: a
    21  	b: (1|2) | 2
    22  	a: 1 | 2
    23  }
    24  t3: p2: {
    25  	b: (1|2) | 2
    26  	a: 1 | 2
    27  	b: a
    28  }
    29  -- issue3437.cue --
    30  issue3437: {
    31  	r: L=L.a
    32  	d: a: a: a: {b: 4}|d
    33  	out: r&d
    34  }
    35  -- out/evalalpha --
    36  Errors:
    37  t1.p1: 2 errors in empty disjunction:
    38  t1.p1: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
    39      ./in.cue:3:5
    40      ./in.cue:3:10
    41  t1.p1: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
    42      ./in.cue:3:5
    43      ./in.cue:3:8
    44  t1.p2: 2 errors in empty disjunction:
    45  t1.p2: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
    46      ./in.cue:6:5
    47      ./in.cue:6:10
    48  t1.p2: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
    49      ./in.cue:6:5
    50      ./in.cue:6:8
    51  t2.p1.d: 2 errors in empty disjunction:
    52  t2.p1.d: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
    53      ./in.cue:11:8
    54      ./in.cue:11:13
    55  t2.p1.d: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
    56      ./in.cue:11:8
    57      ./in.cue:11:11
    58  t2.p2.d: 2 errors in empty disjunction:
    59  t2.p2.d: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
    60      ./in.cue:15:8
    61      ./in.cue:15:13
    62  t2.p2.d: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
    63      ./in.cue:15:8
    64      ./in.cue:15:11
    65  
    66  Result:
    67  (_|_){
    68    // [eval]
    69    t1: (_|_){
    70      // [eval]
    71      p1: (_|_){
    72        // [eval] t1.p1: 2 errors in empty disjunction:
    73        // t1.p1: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
    74        //     ./in.cue:3:5
    75        //     ./in.cue:3:10
    76        // t1.p1: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
    77        //     ./in.cue:3:5
    78        //     ./in.cue:3:8
    79        a: (struct){
    80          a: (_){ _ }
    81        }
    82      }
    83      p2: (_|_){
    84        // [eval] t1.p2: 2 errors in empty disjunction:
    85        // t1.p2: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
    86        //     ./in.cue:6:5
    87        //     ./in.cue:6:10
    88        // t1.p2: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
    89        //     ./in.cue:6:5
    90        //     ./in.cue:6:8
    91        a: (struct){
    92          a: (_){ _ }
    93        }
    94      }
    95    }
    96    t2: (_|_){
    97      // [eval]
    98      p1: (_|_){
    99        // [eval]
   100        d: (_|_){
   101          // [eval] t2.p1.d: 2 errors in empty disjunction:
   102          // t2.p1.d: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
   103          //     ./in.cue:11:8
   104          //     ./in.cue:11:13
   105          // t2.p1.d: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
   106          //     ./in.cue:11:8
   107          //     ./in.cue:11:11
   108          a: (struct){
   109            a: (_){ _ }
   110          }
   111        }
   112      }
   113      p2: (_|_){
   114        // [eval]
   115        d: (_|_){
   116          // [eval] t2.p2.d: 2 errors in empty disjunction:
   117          // t2.p2.d: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
   118          //     ./in.cue:15:8
   119          //     ./in.cue:15:13
   120          // t2.p2.d: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
   121          //     ./in.cue:15:8
   122          //     ./in.cue:15:11
   123          a: (struct){
   124            a: (_){ _ }
   125          }
   126        }
   127      }
   128    }
   129    t3: (struct){
   130      p1: (struct){
   131        b: (int){ |((int){ 1 }, (int){ 2 }) }
   132        a: (int){ |((int){ 1 }, (int){ 2 }) }
   133      }
   134      p2: (struct){
   135        b: (int){ |((int){ 1 }, (int){ 2 }) }
   136        a: (int){ |((int){ 1 }, (int){ 2 }) }
   137      }
   138    }
   139    issue3437: (struct){
   140      r: (_|_){
   141        // [cycle] issue3437.r: cycle error referencing a:
   142        //     ./issue3437.cue:2:9
   143      }
   144      d: (struct){
   145        a: (struct){
   146          a: (struct){
   147            a: (struct){
   148              b: (int){ 4 }
   149            }
   150          }
   151        }
   152      }
   153      out: (struct){ |((struct){
   154          a: (struct){ |((struct){
   155              a: (struct){ |((struct){
   156                  a: (struct){ |((struct){
   157                      b: (int){ 4 }
   158                    }, (struct){
   159                      a: (struct){
   160                        a: (struct){
   161                          a: (struct){ |((struct){
   162                              b: (int){ 4 }
   163                            }, (struct){
   164                              a: (struct){
   165                                a: (struct){
   166                                  a: (struct){
   167                                    b: (int){ 4 }
   168                                  }
   169                                }
   170                              }
   171                            }) }
   172                        }
   173                      }
   174                    }) }
   175                  b: (int){ 4 }
   176                }, (struct){
   177                  a: (struct){ |((struct){
   178                      a: (struct){
   179                        a: (struct){ |((struct){
   180                            b: (int){ 4 }
   181                          }, (struct){
   182                            a: (struct){
   183                              a: (struct){
   184                                a: (struct){ |((struct){
   185                                    b: (int){ 4 }
   186                                  }, (struct){
   187                                    a: (struct){
   188                                      a: (struct){
   189                                        a: (struct){
   190                                          b: (int){ 4 }
   191                                        }
   192                                      }
   193                                    }
   194                                  }) }
   195                              }
   196                            }
   197                          }) }
   198                      }
   199                      b: (int){ 4 }
   200                    }, (struct){
   201                      a: (struct){
   202                        a: (struct){ |((struct){
   203                            a: (struct){ |((struct){
   204                                b: (int){ 4 }
   205                              }, (struct){
   206                                a: (struct){
   207                                  a: (struct){
   208                                    a: (struct){
   209                                      b: (int){ 4 }
   210                                    }
   211                                  }
   212                                }
   213                              }) }
   214                            b: (int){ 4 }
   215                          }, (struct){
   216                            a: (struct){ |((struct){
   217                                a: (struct){
   218                                  a: (struct){ |((struct){
   219                                      b: (int){ 4 }
   220                                    }, (struct){
   221                                      a: (struct){
   222                                        a: (struct){
   223                                          a: (struct){
   224                                            b: (int){ 4 }
   225                                          }
   226                                        }
   227                                      }
   228                                    }) }
   229                                }
   230                                b: (int){ 4 }
   231                              }, (struct){
   232                                a: (struct){
   233                                  a: (struct){ |((struct){
   234                                      a: (struct){
   235                                        b: (int){ 4 }
   236                                      }
   237                                      b: (int){ 4 }
   238                                    }, (struct){
   239                                      a: (struct){
   240                                        a: (struct){
   241                                          a: (struct){
   242                                            b: (int){ 4 }
   243                                          }
   244                                        }
   245                                        b: (int){ 4 }
   246                                      }
   247                                    }) }
   248                                }
   249                              }) }
   250                          }) }
   251                      }
   252                    }) }
   253                }) }
   254              b: (int){ 4 }
   255            }, (struct){
   256              a: (struct){ |((struct){
   257                  a: (struct){ |((struct){
   258                      a: (struct){ |((struct){
   259                          b: (int){ 4 }
   260                        }, (struct){
   261                          a: (struct){
   262                            a: (struct){
   263                              a: (struct){ |((struct){
   264                                  b: (int){ 4 }
   265                                }, (struct){
   266                                  a: (struct){
   267                                    a: (struct){
   268                                      a: (struct){
   269                                        b: (int){ 4 }
   270                                      }
   271                                    }
   272                                  }
   273                                }) }
   274                            }
   275                          }
   276                        }) }
   277                      b: (int){ 4 }
   278                    }, (struct){
   279                      a: (struct){ |((struct){
   280                          a: (struct){
   281                            a: (struct){ |((struct){
   282                                b: (int){ 4 }
   283                              }, (struct){
   284                                a: (struct){
   285                                  a: (struct){
   286                                    a: (struct){
   287                                      b: (int){ 4 }
   288                                    }
   289                                  }
   290                                }
   291                              }) }
   292                          }
   293                          b: (int){ 4 }
   294                        }, (struct){
   295                          a: (struct){
   296                            a: (struct){ |((struct){
   297                                a: (struct){ |((struct){
   298                                    b: (int){ 4 }
   299                                  }, (struct){
   300                                    a: (struct){
   301                                      a: (struct){
   302                                        a: (struct){
   303                                          b: (int){ 4 }
   304                                        }
   305                                      }
   306                                    }
   307                                  }) }
   308                                b: (int){ 4 }
   309                              }, (struct){
   310                                a: (struct){ |((struct){
   311                                    a: (struct){
   312                                      a: (struct){
   313                                        b: (int){ 4 }
   314                                      }
   315                                    }
   316                                    b: (int){ 4 }
   317                                  }, (struct){
   318                                    a: (struct){
   319                                      a: (struct){
   320                                        a: (struct){
   321                                          b: (int){ 4 }
   322                                        }
   323                                        b: (int){ 4 }
   324                                      }
   325                                    }
   326                                  }) }
   327                              }) }
   328                          }
   329                        }) }
   330                    }) }
   331                  b: (int){ 4 }
   332                }, (struct){
   333                  a: (struct){ |((struct){
   334                      a: (struct){ |((struct){
   335                          a: (struct){ |((struct){
   336                              b: (int){ 4 }
   337                            }, (struct){
   338                              a: (struct){
   339                                a: (struct){
   340                                  a: (struct){ |((struct){
   341                                      b: (int){ 4 }
   342                                    }, (struct){
   343                                      a: (struct){
   344                                        a: (struct){
   345                                          a: (struct){
   346                                            b: (int){ 4 }
   347                                          }
   348                                        }
   349                                      }
   350                                    }) }
   351                                }
   352                              }
   353                            }) }
   354                          b: (int){ 4 }
   355                        }, (struct){
   356                          a: (struct){ |((struct){
   357                              a: (struct){
   358                                a: (struct){ |((struct){
   359                                    b: (int){ 4 }
   360                                  }, (struct){
   361                                    a: (struct){
   362                                      a: (struct){
   363                                        a: (struct){
   364                                          b: (int){ 4 }
   365                                        }
   366                                      }
   367                                    }
   368                                  }) }
   369                              }
   370                              b: (int){ 4 }
   371                            }, (struct){
   372                              a: (struct){
   373                                a: (struct){ |((struct){
   374                                    a: (struct){ |((struct){
   375                                        b: (int){ 4 }
   376                                      }, (struct){
   377                                        a: (struct){
   378                                          a: (struct){
   379                                            a: (struct){
   380                                              b: (int){ 4 }
   381                                            }
   382                                          }
   383                                        }
   384                                      }) }
   385                                    b: (int){ 4 }
   386                                  }, (struct){
   387                                    a: (struct){ |((struct){
   388                                        a: (struct){
   389                                          a: (struct){
   390                                            b: (int){ 4 }
   391                                          }
   392                                        }
   393                                        b: (int){ 4 }
   394                                      }, (struct){
   395                                        a: (struct){
   396                                          a: (struct){
   397                                            a: (struct){
   398                                              b: (int){ 4 }
   399                                            }
   400                                            b: (int){ 4 }
   401                                          }
   402                                        }
   403                                      }) }
   404                                  }) }
   405                              }
   406                            }) }
   407                        }) }
   408                      b: (int){ 4 }
   409                    }, (struct){
   410                      a: (struct){ |((struct){
   411                          a: (struct){ |((struct){
   412                              a: (struct){ |((struct){
   413                                  b: (int){ 4 }
   414                                }, (struct){
   415                                  a: (struct){
   416                                    a: (struct){
   417                                      a: (struct){
   418                                        b: (int){ 4 }
   419                                      }
   420                                    }
   421                                  }
   422                                }) }
   423                              b: (int){ 4 }
   424                            }, (struct){
   425                              a: (struct){ |((struct){
   426                                  a: (struct){
   427                                    a: (struct){ |((struct){
   428                                        b: (int){ 4 }
   429                                      }, (struct){
   430                                        a: (struct){
   431                                          a: (struct){
   432                                            a: (struct){
   433                                              b: (int){ 4 }
   434                                            }
   435                                          }
   436                                        }
   437                                      }) }
   438                                  }
   439                                  b: (int){ 4 }
   440                                }, (struct){
   441                                  a: (struct){
   442                                    a: (struct){ |((struct){
   443                                        a: (struct){
   444                                          b: (int){ 4 }
   445                                        }
   446                                        b: (int){ 4 }
   447                                      }, (struct){
   448                                        a: (struct){
   449                                          a: (struct){
   450                                            a: (struct){
   451                                              b: (int){ 4 }
   452                                            }
   453                                          }
   454                                          b: (int){ 4 }
   455                                        }
   456                                      }) }
   457                                  }
   458                                }) }
   459                            }) }
   460                          b: (int){ 4 }
   461                        }, (struct){
   462                          a: (struct){ |((struct){
   463                              a: (struct){ |((struct){
   464                                  a: (struct){ |((struct){
   465                                      b: (int){ 4 }
   466                                    }, (struct){
   467                                      a: (struct){
   468                                        a: (struct){
   469                                          a: (struct){
   470                                            b: (int){ 4 }
   471                                          }
   472                                        }
   473                                      }
   474                                    }) }
   475                                  b: (int){ 4 }
   476                                }, (struct){
   477                                  a: (struct){ |((struct){
   478                                      a: (struct){
   479                                        a: (struct){
   480                                          b: (int){ 4 }
   481                                        }
   482                                      }
   483                                      b: (int){ 4 }
   484                                    }, (struct){
   485                                      a: (struct){
   486                                        a: (struct){
   487                                          a: (struct){
   488                                            b: (int){ 4 }
   489                                          }
   490                                          b: (int){ 4 }
   491                                        }
   492                                      }
   493                                    }) }
   494                                }) }
   495                              b: (int){ 4 }
   496                            }, (struct){
   497                              a: (struct){ |((struct){
   498                                  a: (struct){ |((struct){
   499                                      a: (struct){ |((struct){
   500                                          b: (int){ 4 }
   501                                        }, (struct){
   502                                          a: (struct){
   503                                            a: (struct){
   504                                              a: (struct){
   505                                                b: (int){ 4 }
   506                                              }
   507                                            }
   508                                          }
   509                                        }) }
   510                                      b: (int){ 4 }
   511                                    }, (struct){
   512                                      a: (struct){ |((struct){
   513                                          a: (struct){
   514                                            a: (struct){
   515                                              b: (int){ 4 }
   516                                            }
   517                                          }
   518                                          b: (int){ 4 }
   519                                        }, (struct){
   520                                          a: (struct){
   521                                            a: (struct){
   522                                              a: (struct){
   523                                                b: (int){ 4 }
   524                                              }
   525                                              b: (int){ 4 }
   526                                            }
   527                                          }
   528                                        }) }
   529                                    }) }
   530                                  b: (int){ 4 }
   531                                }, (struct){
   532                                  a: (struct){ |((struct){
   533                                      a: (struct){ |((struct){
   534                                          a: (struct){
   535                                            b: (int){ 4 }
   536                                          }
   537                                          b: (int){ 4 }
   538                                        }, (struct){
   539                                          a: (struct){
   540                                            a: (struct){
   541                                              a: (struct){
   542                                                b: (int){ 4 }
   543                                              }
   544                                            }
   545                                            b: (int){ 4 }
   546                                          }
   547                                        }) }
   548                                      b: (int){ 4 }
   549                                    }, (struct){
   550                                      a: (struct){ |((struct){
   551                                          a: (struct){
   552                                            a: (struct){
   553                                              b: (int){ 4 }
   554                                            }
   555                                            b: (int){ 4 }
   556                                          }
   557                                          b: (int){ 4 }
   558                                        }, (struct){
   559                                          a: (struct){
   560                                            a: (struct){
   561                                              a: (struct){
   562                                                b: (int){ 4 }
   563                                              }
   564                                              b: (int){ 4 }
   565                                            }
   566                                            b: (int){ 4 }
   567                                          }
   568                                        }) }
   569                                    }) }
   570                                }) }
   571                            }) }
   572                        }) }
   573                    }) }
   574                }) }
   575            }) }
   576          b: (int){ 4 }
   577        }, (struct){
   578          a: (struct){ |((struct){
   579              a: (struct){ |((struct){
   580                  a: (struct){ |((struct){
   581                      b: (int){ 4 }
   582                    }, (struct){
   583                      a: (struct){
   584                        a: (struct){
   585                          a: (struct){ |((struct){
   586                              b: (int){ 4 }
   587                            }, (struct){
   588                              a: (struct){
   589                                a: (struct){
   590                                  a: (struct){
   591                                    b: (int){ 4 }
   592                                  }
   593                                }
   594                              }
   595                            }) }
   596                        }
   597                      }
   598                    }) }
   599                  b: (int){ 4 }
   600                }, (struct){
   601                  a: (struct){ |((struct){
   602                      a: (struct){
   603                        a: (struct){ |((struct){
   604                            b: (int){ 4 }
   605                          }, (struct){
   606                            a: (struct){
   607                              a: (struct){
   608                                a: (struct){ |((struct){
   609                                    b: (int){ 4 }
   610                                  }, (struct){
   611                                    a: (struct){
   612                                      a: (struct){
   613                                        a: (struct){
   614                                          b: (int){ 4 }
   615                                        }
   616                                      }
   617                                    }
   618                                  }) }
   619                              }
   620                            }
   621                          }) }
   622                      }
   623                      b: (int){ 4 }
   624                    }, (struct){
   625                      a: (struct){
   626                        a: (struct){ |((struct){
   627                            a: (struct){ |((struct){
   628                                b: (int){ 4 }
   629                              }, (struct){
   630                                a: (struct){
   631                                  a: (struct){
   632                                    a: (struct){
   633                                      b: (int){ 4 }
   634                                    }
   635                                  }
   636                                }
   637                              }) }
   638                            b: (int){ 4 }
   639                          }, (struct){
   640                            a: (struct){ |((struct){
   641                                a: (struct){
   642                                  a: (struct){ |((struct){
   643                                      b: (int){ 4 }
   644                                    }, (struct){
   645                                      a: (struct){
   646                                        a: (struct){
   647                                          a: (struct){
   648                                            b: (int){ 4 }
   649                                          }
   650                                        }
   651                                      }
   652                                    }) }
   653                                }
   654                                b: (int){ 4 }
   655                              }, (struct){
   656                                a: (struct){
   657                                  a: (struct){ |((struct){
   658                                      a: (struct){
   659                                        b: (int){ 4 }
   660                                      }
   661                                      b: (int){ 4 }
   662                                    }, (struct){
   663                                      a: (struct){
   664                                        a: (struct){
   665                                          a: (struct){
   666                                            b: (int){ 4 }
   667                                          }
   668                                        }
   669                                        b: (int){ 4 }
   670                                      }
   671                                    }) }
   672                                }
   673                              }) }
   674                          }) }
   675                      }
   676                    }) }
   677                }) }
   678              b: (int){ 4 }
   679            }, (struct){
   680              a: (struct){ |((struct){
   681                  a: (struct){ |((struct){
   682                      a: (struct){ |((struct){
   683                          b: (int){ 4 }
   684                        }, (struct){
   685                          a: (struct){
   686                            a: (struct){
   687                              a: (struct){ |((struct){
   688                                  b: (int){ 4 }
   689                                }, (struct){
   690                                  a: (struct){
   691                                    a: (struct){
   692                                      a: (struct){
   693                                        b: (int){ 4 }
   694                                      }
   695                                    }
   696                                  }
   697                                }) }
   698                            }
   699                          }
   700                        }) }
   701                      b: (int){ 4 }
   702                    }, (struct){
   703                      a: (struct){ |((struct){
   704                          a: (struct){
   705                            a: (struct){ |((struct){
   706                                b: (int){ 4 }
   707                              }, (struct){
   708                                a: (struct){
   709                                  a: (struct){
   710                                    a: (struct){
   711                                      b: (int){ 4 }
   712                                    }
   713                                  }
   714                                }
   715                              }) }
   716                          }
   717                          b: (int){ 4 }
   718                        }, (struct){
   719                          a: (struct){
   720                            a: (struct){ |((struct){
   721                                a: (struct){ |((struct){
   722                                    b: (int){ 4 }
   723                                  }, (struct){
   724                                    a: (struct){
   725                                      a: (struct){
   726                                        a: (struct){
   727                                          b: (int){ 4 }
   728                                        }
   729                                      }
   730                                    }
   731                                  }) }
   732                                b: (int){ 4 }
   733                              }, (struct){
   734                                a: (struct){ |((struct){
   735                                    a: (struct){
   736                                      a: (struct){
   737                                        b: (int){ 4 }
   738                                      }
   739                                    }
   740                                    b: (int){ 4 }
   741                                  }, (struct){
   742                                    a: (struct){
   743                                      a: (struct){
   744                                        a: (struct){
   745                                          b: (int){ 4 }
   746                                        }
   747                                        b: (int){ 4 }
   748                                      }
   749                                    }
   750                                  }) }
   751                              }) }
   752                          }
   753                        }) }
   754                    }) }
   755                  b: (int){ 4 }
   756                }, (struct){
   757                  a: (struct){ |((struct){
   758                      a: (struct){ |((struct){
   759                          a: (struct){ |((struct){
   760                              b: (int){ 4 }
   761                            }, (struct){
   762                              a: (struct){
   763                                a: (struct){
   764                                  a: (struct){ |((struct){
   765                                      b: (int){ 4 }
   766                                    }, (struct){
   767                                      a: (struct){
   768                                        a: (struct){
   769                                          a: (struct){
   770                                            b: (int){ 4 }
   771                                          }
   772                                        }
   773                                      }
   774                                    }) }
   775                                }
   776                              }
   777                            }) }
   778                          b: (int){ 4 }
   779                        }, (struct){
   780                          a: (struct){ |((struct){
   781                              a: (struct){
   782                                a: (struct){ |((struct){
   783                                    b: (int){ 4 }
   784                                  }, (struct){
   785                                    a: (struct){
   786                                      a: (struct){
   787                                        a: (struct){
   788                                          b: (int){ 4 }
   789                                        }
   790                                      }
   791                                    }
   792                                  }) }
   793                              }
   794                              b: (int){ 4 }
   795                            }, (struct){
   796                              a: (struct){
   797                                a: (struct){ |((struct){
   798                                    a: (struct){ |((struct){
   799                                        b: (int){ 4 }
   800                                      }, (struct){
   801                                        a: (struct){
   802                                          a: (struct){
   803                                            a: (struct){
   804                                              b: (int){ 4 }
   805                                            }
   806                                          }
   807                                        }
   808                                      }) }
   809                                    b: (int){ 4 }
   810                                  }, (struct){
   811                                    a: (struct){ |((struct){
   812                                        a: (struct){
   813                                          a: (struct){
   814                                            b: (int){ 4 }
   815                                          }
   816                                        }
   817                                        b: (int){ 4 }
   818                                      }, (struct){
   819                                        a: (struct){
   820                                          a: (struct){
   821                                            a: (struct){
   822                                              b: (int){ 4 }
   823                                            }
   824                                            b: (int){ 4 }
   825                                          }
   826                                        }
   827                                      }) }
   828                                  }) }
   829                              }
   830                            }) }
   831                        }) }
   832                      b: (int){ 4 }
   833                    }, (struct){
   834                      a: (struct){ |((struct){
   835                          a: (struct){ |((struct){
   836                              a: (struct){ |((struct){
   837                                  b: (int){ 4 }
   838                                }, (struct){
   839                                  a: (struct){
   840                                    a: (struct){
   841                                      a: (struct){
   842                                        b: (int){ 4 }
   843                                      }
   844                                    }
   845                                  }
   846                                }) }
   847                              b: (int){ 4 }
   848                            }, (struct){
   849                              a: (struct){ |((struct){
   850                                  a: (struct){
   851                                    a: (struct){ |((struct){
   852                                        b: (int){ 4 }
   853                                      }, (struct){
   854                                        a: (struct){
   855                                          a: (struct){
   856                                            a: (struct){
   857                                              b: (int){ 4 }
   858                                            }
   859                                          }
   860                                        }
   861                                      }) }
   862                                  }
   863                                  b: (int){ 4 }
   864                                }, (struct){
   865                                  a: (struct){
   866                                    a: (struct){ |((struct){
   867                                        a: (struct){
   868                                          b: (int){ 4 }
   869                                        }
   870                                        b: (int){ 4 }
   871                                      }, (struct){
   872                                        a: (struct){
   873                                          a: (struct){
   874                                            a: (struct){
   875                                              b: (int){ 4 }
   876                                            }
   877                                          }
   878                                          b: (int){ 4 }
   879                                        }
   880                                      }) }
   881                                  }
   882                                }) }
   883                            }) }
   884                          b: (int){ 4 }
   885                        }, (struct){
   886                          a: (struct){ |((struct){
   887                              a: (struct){ |((struct){
   888                                  a: (struct){ |((struct){
   889                                      b: (int){ 4 }
   890                                    }, (struct){
   891                                      a: (struct){
   892                                        a: (struct){
   893                                          a: (struct){
   894                                            b: (int){ 4 }
   895                                          }
   896                                        }
   897                                      }
   898                                    }) }
   899                                  b: (int){ 4 }
   900                                }, (struct){
   901                                  a: (struct){ |((struct){
   902                                      a: (struct){
   903                                        a: (struct){
   904                                          b: (int){ 4 }
   905                                        }
   906                                      }
   907                                      b: (int){ 4 }
   908                                    }, (struct){
   909                                      a: (struct){
   910                                        a: (struct){
   911                                          a: (struct){
   912                                            b: (int){ 4 }
   913                                          }
   914                                          b: (int){ 4 }
   915                                        }
   916                                      }
   917                                    }) }
   918                                }) }
   919                              b: (int){ 4 }
   920                            }, (struct){
   921                              a: (struct){ |((struct){
   922                                  a: (struct){ |((struct){
   923                                      a: (struct){ |((struct){
   924                                          b: (int){ 4 }
   925                                        }, (struct){
   926                                          a: (struct){
   927                                            a: (struct){
   928                                              a: (struct){
   929                                                b: (int){ 4 }
   930                                              }
   931                                            }
   932                                          }
   933                                        }) }
   934                                      b: (int){ 4 }
   935                                    }, (struct){
   936                                      a: (struct){ |((struct){
   937                                          a: (struct){
   938                                            a: (struct){
   939                                              b: (int){ 4 }
   940                                            }
   941                                          }
   942                                          b: (int){ 4 }
   943                                        }, (struct){
   944                                          a: (struct){
   945                                            a: (struct){
   946                                              a: (struct){
   947                                                b: (int){ 4 }
   948                                              }
   949                                              b: (int){ 4 }
   950                                            }
   951                                          }
   952                                        }) }
   953                                    }) }
   954                                  b: (int){ 4 }
   955                                }, (struct){
   956                                  a: (struct){ |((struct){
   957                                      a: (struct){ |((struct){
   958                                          a: (struct){
   959                                            b: (int){ 4 }
   960                                          }
   961                                          b: (int){ 4 }
   962                                        }, (struct){
   963                                          a: (struct){
   964                                            a: (struct){
   965                                              a: (struct){
   966                                                b: (int){ 4 }
   967                                              }
   968                                            }
   969                                            b: (int){ 4 }
   970                                          }
   971                                        }) }
   972                                      b: (int){ 4 }
   973                                    }, (struct){
   974                                      a: (struct){ |((struct){
   975                                          a: (struct){
   976                                            a: (struct){
   977                                              b: (int){ 4 }
   978                                            }
   979                                            b: (int){ 4 }
   980                                          }
   981                                          b: (int){ 4 }
   982                                        }, (struct){
   983                                          a: (struct){
   984                                            a: (struct){
   985                                              a: (struct){
   986                                                b: (int){ 4 }
   987                                              }
   988                                              b: (int){ 4 }
   989                                            }
   990                                            b: (int){ 4 }
   991                                          }
   992                                        }) }
   993                                    }) }
   994                                }) }
   995                            }) }
   996                        }) }
   997                    }) }
   998                }) }
   999            }) }
  1000        }) }
  1001    }
  1002  }
  1003  -- out/compile --
  1004  --- in.cue
  1005  {
  1006    t1: {
  1007      p1: {
  1008        〈0;a〉
  1009        a: {
  1010          a: (2|1)
  1011        }
  1012      }
  1013    }
  1014    t1: {
  1015      p2: {
  1016        a: {
  1017          a: (2|1)
  1018        }
  1019        〈0;a〉
  1020      }
  1021    }
  1022    t2: {
  1023      p1: {
  1024        d: 〈0;d〉.a
  1025        d: {
  1026          a: {
  1027            a: (2|1)
  1028          }
  1029        }
  1030      }
  1031    }
  1032    t2: {
  1033      p2: {
  1034        d: 〈0;d〉.a
  1035        d: {
  1036          a: {
  1037            a: (2|1)
  1038          }
  1039        }
  1040      }
  1041    }
  1042    t3: {
  1043      p1: {
  1044        b: 〈0;a〉
  1045        b: ((1|2)|2)
  1046        a: (1|2)
  1047      }
  1048    }
  1049    t3: {
  1050      p2: {
  1051        b: ((1|2)|2)
  1052        a: (1|2)
  1053        b: 〈0;a〉
  1054      }
  1055    }
  1056  }
  1057  --- issue3437.cue
  1058  {
  1059    issue3437: {
  1060      r: 〈0〉.a
  1061      d: {
  1062        a: {
  1063          a: {
  1064            a: ({
  1065              b: 4
  1066            }|〈3;d〉)
  1067          }
  1068        }
  1069      }
  1070      out: (〈0;r〉 & 〈0;d〉)
  1071    }
  1072  }
  1073  -- out/evalalpha/stats --
  1074  Leaks:  2072
  1075  Freed:  0
  1076  Reused: 0
  1077  Allocs: 2072
  1078  Retain: 0
  1079  
  1080  Unifications: 766
  1081  Conjuncts:    2012
  1082  Disjuncts:    736
  1083  
  1084  CloseIDElems: 0
  1085  NumCloseIDs: 241
  1086  -- diff/-out/evalalpha/stats<==>+out/eval/stats --
  1087  diff old new
  1088  --- old
  1089  +++ new
  1090  @@ -1,9 +1,12 @@
  1091  -Leaks:  34
  1092  -Freed:  97
  1093  -Reused: 85
  1094  -Allocs: 46
  1095  -Retain: 5
  1096  -
  1097  -Unifications: 48
  1098  -Conjuncts:    150
  1099  -Disjuncts:    111
  1100  +Leaks:  2072
  1101  +Freed:  0
  1102  +Reused: 0
  1103  +Allocs: 2072
  1104  +Retain: 0
  1105  +
  1106  +Unifications: 766
  1107  +Conjuncts:    2012
  1108  +Disjuncts:    736
  1109  +
  1110  +CloseIDElems: 0
  1111  +NumCloseIDs: 241
  1112  -- out/eval/stats --
  1113  Leaks:  34
  1114  Freed:  97
  1115  Reused: 85
  1116  Allocs: 46
  1117  Retain: 5
  1118  
  1119  Unifications: 48
  1120  Conjuncts:    150
  1121  Disjuncts:    111
  1122  -- diff/-out/evalalpha<==>+out/eval --
  1123  diff old new
  1124  --- old
  1125  +++ new
  1126  @@ -1,11 +1,9 @@
  1127   Errors:
  1128   t1.p1: 2 errors in empty disjunction:
  1129   t1.p1: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
  1130  -    ./in.cue:2:2
  1131       ./in.cue:3:5
  1132       ./in.cue:3:10
  1133   t1.p1: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
  1134  -    ./in.cue:2:2
  1135       ./in.cue:3:5
  1136       ./in.cue:3:8
  1137   t1.p2: 2 errors in empty disjunction:
  1138  @@ -12,27 +10,21 @@
  1139   t1.p2: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
  1140       ./in.cue:6:5
  1141       ./in.cue:6:10
  1142  -    ./in.cue:7:2
  1143   t1.p2: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
  1144       ./in.cue:6:5
  1145       ./in.cue:6:8
  1146  -    ./in.cue:7:2
  1147   t2.p1.d: 2 errors in empty disjunction:
  1148   t2.p1.d: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
  1149  -    ./in.cue:10:5
  1150       ./in.cue:11:8
  1151       ./in.cue:11:13
  1152   t2.p1.d: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
  1153  -    ./in.cue:10:5
  1154       ./in.cue:11:8
  1155       ./in.cue:11:11
  1156   t2.p2.d: 2 errors in empty disjunction:
  1157   t2.p2.d: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
  1158  -    ./in.cue:14:5
  1159       ./in.cue:15:8
  1160       ./in.cue:15:13
  1161   t2.p2.d: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
  1162  -    ./in.cue:14:5
  1163       ./in.cue:15:8
  1164       ./in.cue:15:11
  1165   
  1166  @@ -44,15 +36,13 @@
  1167       p1: (_|_){
  1168         // [eval] t1.p1: 2 errors in empty disjunction:
  1169         // t1.p1: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
  1170  -      //     ./in.cue:2:2
  1171         //     ./in.cue:3:5
  1172         //     ./in.cue:3:10
  1173         // t1.p1: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
  1174  -      //     ./in.cue:2:2
  1175         //     ./in.cue:3:5
  1176         //     ./in.cue:3:8
  1177         a: (struct){
  1178  -        a: (int){ |((int){ 2 }, (int){ 1 }) }
  1179  +        a: (_){ _ }
  1180         }
  1181       }
  1182       p2: (_|_){
  1183  @@ -60,13 +50,11 @@
  1184         // t1.p2: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
  1185         //     ./in.cue:6:5
  1186         //     ./in.cue:6:10
  1187  -      //     ./in.cue:7:2
  1188         // t1.p2: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
  1189         //     ./in.cue:6:5
  1190         //     ./in.cue:6:8
  1191  -      //     ./in.cue:7:2
  1192  -      a: (struct){
  1193  -        a: (int){ |((int){ 2 }, (int){ 1 }) }
  1194  +      a: (struct){
  1195  +        a: (_){ _ }
  1196         }
  1197       }
  1198     }
  1199  @@ -77,15 +65,13 @@
  1200         d: (_|_){
  1201           // [eval] t2.p1.d: 2 errors in empty disjunction:
  1202           // t2.p1.d: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
  1203  -        //     ./in.cue:10:5
  1204           //     ./in.cue:11:8
  1205           //     ./in.cue:11:13
  1206           // t2.p1.d: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
  1207  -        //     ./in.cue:10:5
  1208           //     ./in.cue:11:8
  1209           //     ./in.cue:11:11
  1210           a: (struct){
  1211  -          a: (int){ |((int){ 2 }, (int){ 1 }) }
  1212  +          a: (_){ _ }
  1213           }
  1214         }
  1215       }
  1216  @@ -94,15 +80,13 @@
  1217         d: (_|_){
  1218           // [eval] t2.p2.d: 2 errors in empty disjunction:
  1219           // t2.p2.d: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
  1220  -        //     ./in.cue:14:5
  1221           //     ./in.cue:15:8
  1222           //     ./in.cue:15:13
  1223           // t2.p2.d: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
  1224  -        //     ./in.cue:14:5
  1225           //     ./in.cue:15:8
  1226           //     ./in.cue:15:11
  1227           a: (struct){
  1228  -          a: (int){ |((int){ 2 }, (int){ 1 }) }
  1229  +          a: (_){ _ }
  1230           }
  1231         }
  1232       }
  1233  @@ -119,7 +103,7 @@
  1234     }
  1235     issue3437: (struct){
  1236       r: (_|_){
  1237  -      // [incomplete] issue3437.r: cycle error referencing a:
  1238  +      // [cycle] issue3437.r: cycle error referencing a:
  1239         //     ./issue3437.cue:2:9
  1240       }
  1241       d: (struct){
  1242  @@ -131,33 +115,853 @@
  1243           }
  1244         }
  1245       }
  1246  -    out: (struct){
  1247  -      a: (struct){
  1248  -        a: (struct){ |((struct){
  1249  -            a: (struct){
  1250  -              b: (int){ 4 }
  1251  -            }
  1252  -            b: (int){ 4 }
  1253  -          }, (struct){
  1254  -            a: (struct){
  1255  -              a: (struct){
  1256  -                a: (struct){ |((struct){
  1257  -                    b: (int){ 4 }
  1258  -                  }, (struct){
  1259  -                    a: (struct){
  1260  -                      a: (struct){
  1261  -                        a: (struct){
  1262  -                          b: (int){ 4 }
  1263  -                        }
  1264  -                      }
  1265  -                    }
  1266  -                  }) }
  1267  -              }
  1268  -              b: (int){ 4 }
  1269  -            }
  1270  -          }) }
  1271  -      }
  1272  -      b: (int){ 4 }
  1273  -    }
  1274  +    out: (struct){ |((struct){
  1275  +        a: (struct){ |((struct){
  1276  +            a: (struct){ |((struct){
  1277  +                a: (struct){ |((struct){
  1278  +                    b: (int){ 4 }
  1279  +                  }, (struct){
  1280  +                    a: (struct){
  1281  +                      a: (struct){
  1282  +                        a: (struct){ |((struct){
  1283  +                            b: (int){ 4 }
  1284  +                          }, (struct){
  1285  +                            a: (struct){
  1286  +                              a: (struct){
  1287  +                                a: (struct){
  1288  +                                  b: (int){ 4 }
  1289  +                                }
  1290  +                              }
  1291  +                            }
  1292  +                          }) }
  1293  +                      }
  1294  +                    }
  1295  +                  }) }
  1296  +                b: (int){ 4 }
  1297  +              }, (struct){
  1298  +                a: (struct){ |((struct){
  1299  +                    a: (struct){
  1300  +                      a: (struct){ |((struct){
  1301  +                          b: (int){ 4 }
  1302  +                        }, (struct){
  1303  +                          a: (struct){
  1304  +                            a: (struct){
  1305  +                              a: (struct){ |((struct){
  1306  +                                  b: (int){ 4 }
  1307  +                                }, (struct){
  1308  +                                  a: (struct){
  1309  +                                    a: (struct){
  1310  +                                      a: (struct){
  1311  +                                        b: (int){ 4 }
  1312  +                                      }
  1313  +                                    }
  1314  +                                  }
  1315  +                                }) }
  1316  +                            }
  1317  +                          }
  1318  +                        }) }
  1319  +                    }
  1320  +                    b: (int){ 4 }
  1321  +                  }, (struct){
  1322  +                    a: (struct){
  1323  +                      a: (struct){ |((struct){
  1324  +                          a: (struct){ |((struct){
  1325  +                              b: (int){ 4 }
  1326  +                            }, (struct){
  1327  +                              a: (struct){
  1328  +                                a: (struct){
  1329  +                                  a: (struct){
  1330  +                                    b: (int){ 4 }
  1331  +                                  }
  1332  +                                }
  1333  +                              }
  1334  +                            }) }
  1335  +                          b: (int){ 4 }
  1336  +                        }, (struct){
  1337  +                          a: (struct){ |((struct){
  1338  +                              a: (struct){
  1339  +                                a: (struct){ |((struct){
  1340  +                                    b: (int){ 4 }
  1341  +                                  }, (struct){
  1342  +                                    a: (struct){
  1343  +                                      a: (struct){
  1344  +                                        a: (struct){
  1345  +                                          b: (int){ 4 }
  1346  +                                        }
  1347  +                                      }
  1348  +                                    }
  1349  +                                  }) }
  1350  +                              }
  1351  +                              b: (int){ 4 }
  1352  +                            }, (struct){
  1353  +                              a: (struct){
  1354  +                                a: (struct){ |((struct){
  1355  +                                    a: (struct){
  1356  +                                      b: (int){ 4 }
  1357  +                                    }
  1358  +                                    b: (int){ 4 }
  1359  +                                  }, (struct){
  1360  +                                    a: (struct){
  1361  +                                      a: (struct){
  1362  +                                        a: (struct){
  1363  +                                          b: (int){ 4 }
  1364  +                                        }
  1365  +                                      }
  1366  +                                      b: (int){ 4 }
  1367  +                                    }
  1368  +                                  }) }
  1369  +                              }
  1370  +                            }) }
  1371  +                        }) }
  1372  +                    }
  1373  +                  }) }
  1374  +              }) }
  1375  +            b: (int){ 4 }
  1376  +          }, (struct){
  1377  +            a: (struct){ |((struct){
  1378  +                a: (struct){ |((struct){
  1379  +                    a: (struct){ |((struct){
  1380  +                        b: (int){ 4 }
  1381  +                      }, (struct){
  1382  +                        a: (struct){
  1383  +                          a: (struct){
  1384  +                            a: (struct){ |((struct){
  1385  +                                b: (int){ 4 }
  1386  +                              }, (struct){
  1387  +                                a: (struct){
  1388  +                                  a: (struct){
  1389  +                                    a: (struct){
  1390  +                                      b: (int){ 4 }
  1391  +                                    }
  1392  +                                  }
  1393  +                                }
  1394  +                              }) }
  1395  +                          }
  1396  +                        }
  1397  +                      }) }
  1398  +                    b: (int){ 4 }
  1399  +                  }, (struct){
  1400  +                    a: (struct){ |((struct){
  1401  +                        a: (struct){
  1402  +                          a: (struct){ |((struct){
  1403  +                              b: (int){ 4 }
  1404  +                            }, (struct){
  1405  +                              a: (struct){
  1406  +                                a: (struct){
  1407  +                                  a: (struct){
  1408  +                                    b: (int){ 4 }
  1409  +                                  }
  1410  +                                }
  1411  +                              }
  1412  +                            }) }
  1413  +                        }
  1414  +                        b: (int){ 4 }
  1415  +                      }, (struct){
  1416  +                        a: (struct){
  1417  +                          a: (struct){ |((struct){
  1418  +                              a: (struct){ |((struct){
  1419  +                                  b: (int){ 4 }
  1420  +                                }, (struct){
  1421  +                                  a: (struct){
  1422  +                                    a: (struct){
  1423  +                                      a: (struct){
  1424  +                                        b: (int){ 4 }
  1425  +                                      }
  1426  +                                    }
  1427  +                                  }
  1428  +                                }) }
  1429  +                              b: (int){ 4 }
  1430  +                            }, (struct){
  1431  +                              a: (struct){ |((struct){
  1432  +                                  a: (struct){
  1433  +                                    a: (struct){
  1434  +                                      b: (int){ 4 }
  1435  +                                    }
  1436  +                                  }
  1437  +                                  b: (int){ 4 }
  1438  +                                }, (struct){
  1439  +                                  a: (struct){
  1440  +                                    a: (struct){
  1441  +                                      a: (struct){
  1442  +                                        b: (int){ 4 }
  1443  +                                      }
  1444  +                                      b: (int){ 4 }
  1445  +                                    }
  1446  +                                  }
  1447  +                                }) }
  1448  +                            }) }
  1449  +                        }
  1450  +                      }) }
  1451  +                  }) }
  1452  +                b: (int){ 4 }
  1453  +              }, (struct){
  1454  +                a: (struct){ |((struct){
  1455  +                    a: (struct){ |((struct){
  1456  +                        a: (struct){ |((struct){
  1457  +                            b: (int){ 4 }
  1458  +                          }, (struct){
  1459  +                            a: (struct){
  1460  +                              a: (struct){
  1461  +                                a: (struct){ |((struct){
  1462  +                                    b: (int){ 4 }
  1463  +                                  }, (struct){
  1464  +                                    a: (struct){
  1465  +                                      a: (struct){
  1466  +                                        a: (struct){
  1467  +                                          b: (int){ 4 }
  1468  +                                        }
  1469  +                                      }
  1470  +                                    }
  1471  +                                  }) }
  1472  +                              }
  1473  +                            }
  1474  +                          }) }
  1475  +                        b: (int){ 4 }
  1476  +                      }, (struct){
  1477  +                        a: (struct){ |((struct){
  1478  +                            a: (struct){
  1479  +                              a: (struct){ |((struct){
  1480  +                                  b: (int){ 4 }
  1481  +                                }, (struct){
  1482  +                                  a: (struct){
  1483  +                                    a: (struct){
  1484  +                                      a: (struct){
  1485  +                                        b: (int){ 4 }
  1486  +                                      }
  1487  +                                    }
  1488  +                                  }
  1489  +                                }) }
  1490  +                            }
  1491  +                            b: (int){ 4 }
  1492  +                          }, (struct){
  1493  +                            a: (struct){
  1494  +                              a: (struct){ |((struct){
  1495  +                                  a: (struct){ |((struct){
  1496  +                                      b: (int){ 4 }
  1497  +                                    }, (struct){
  1498  +                                      a: (struct){
  1499  +                                        a: (struct){
  1500  +                                          a: (struct){
  1501  +                                            b: (int){ 4 }
  1502  +                                          }
  1503  +                                        }
  1504  +                                      }
  1505  +                                    }) }
  1506  +                                  b: (int){ 4 }
  1507  +                                }, (struct){
  1508  +                                  a: (struct){ |((struct){
  1509  +                                      a: (struct){
  1510  +                                        a: (struct){
  1511  +                                          b: (int){ 4 }
  1512  +                                        }
  1513  +                                      }
  1514  +                                      b: (int){ 4 }
  1515  +                                    }, (struct){
  1516  +                                      a: (struct){
  1517  +                                        a: (struct){
  1518  +                                          a: (struct){
  1519  +                                            b: (int){ 4 }
  1520  +                                          }
  1521  +                                          b: (int){ 4 }
  1522  +                                        }
  1523  +                                      }
  1524  +                                    }) }
  1525  +                                }) }
  1526  +                            }
  1527  +                          }) }
  1528  +                      }) }
  1529  +                    b: (int){ 4 }
  1530  +                  }, (struct){
  1531  +                    a: (struct){ |((struct){
  1532  +                        a: (struct){ |((struct){
  1533  +                            a: (struct){ |((struct){
  1534  +                                b: (int){ 4 }
  1535  +                              }, (struct){
  1536  +                                a: (struct){
  1537  +                                  a: (struct){
  1538  +                                    a: (struct){
  1539  +                                      b: (int){ 4 }
  1540  +                                    }
  1541  +                                  }
  1542  +                                }
  1543  +                              }) }
  1544  +                            b: (int){ 4 }
  1545  +                          }, (struct){
  1546  +                            a: (struct){ |((struct){
  1547  +                                a: (struct){
  1548  +                                  a: (struct){ |((struct){
  1549  +                                      b: (int){ 4 }
  1550  +                                    }, (struct){
  1551  +                                      a: (struct){
  1552  +                                        a: (struct){
  1553  +                                          a: (struct){
  1554  +                                            b: (int){ 4 }
  1555  +                                          }
  1556  +                                        }
  1557  +                                      }
  1558  +                                    }) }
  1559  +                                }
  1560  +                                b: (int){ 4 }
  1561  +                              }, (struct){
  1562  +                                a: (struct){
  1563  +                                  a: (struct){ |((struct){
  1564  +                                      a: (struct){
  1565  +                                        b: (int){ 4 }
  1566  +                                      }
  1567  +                                      b: (int){ 4 }
  1568  +                                    }, (struct){
  1569  +                                      a: (struct){
  1570  +                                        a: (struct){
  1571  +                                          a: (struct){
  1572  +                                            b: (int){ 4 }
  1573  +                                          }
  1574  +                                        }
  1575  +                                        b: (int){ 4 }
  1576  +                                      }
  1577  +                                    }) }
  1578  +                                }
  1579  +                              }) }
  1580  +                          }) }
  1581  +                        b: (int){ 4 }
  1582  +                      }, (struct){
  1583  +                        a: (struct){ |((struct){
  1584  +                            a: (struct){ |((struct){
  1585  +                                a: (struct){ |((struct){
  1586  +                                    b: (int){ 4 }
  1587  +                                  }, (struct){
  1588  +                                    a: (struct){
  1589  +                                      a: (struct){
  1590  +                                        a: (struct){
  1591  +                                          b: (int){ 4 }
  1592  +                                        }
  1593  +                                      }
  1594  +                                    }
  1595  +                                  }) }
  1596  +                                b: (int){ 4 }
  1597  +                              }, (struct){
  1598  +                                a: (struct){ |((struct){
  1599  +                                    a: (struct){
  1600  +                                      a: (struct){
  1601  +                                        b: (int){ 4 }
  1602  +                                      }
  1603  +                                    }
  1604  +                                    b: (int){ 4 }
  1605  +                                  }, (struct){
  1606  +                                    a: (struct){
  1607  +                                      a: (struct){
  1608  +                                        a: (struct){
  1609  +                                          b: (int){ 4 }
  1610  +                                        }
  1611  +                                        b: (int){ 4 }
  1612  +                                      }
  1613  +                                    }
  1614  +                                  }) }
  1615  +                              }) }
  1616  +                            b: (int){ 4 }
  1617  +                          }, (struct){
  1618  +                            a: (struct){ |((struct){
  1619  +                                a: (struct){ |((struct){
  1620  +                                    a: (struct){ |((struct){
  1621  +                                        b: (int){ 4 }
  1622  +                                      }, (struct){
  1623  +                                        a: (struct){
  1624  +                                          a: (struct){
  1625  +                                            a: (struct){
  1626  +                                              b: (int){ 4 }
  1627  +                                            }
  1628  +                                          }
  1629  +                                        }
  1630  +                                      }) }
  1631  +                                    b: (int){ 4 }
  1632  +                                  }, (struct){
  1633  +                                    a: (struct){ |((struct){
  1634  +                                        a: (struct){
  1635  +                                          a: (struct){
  1636  +                                            b: (int){ 4 }
  1637  +                                          }
  1638  +                                        }
  1639  +                                        b: (int){ 4 }
  1640  +                                      }, (struct){
  1641  +                                        a: (struct){
  1642  +                                          a: (struct){
  1643  +                                            a: (struct){
  1644  +                                              b: (int){ 4 }
  1645  +                                            }
  1646  +                                            b: (int){ 4 }
  1647  +                                          }
  1648  +                                        }
  1649  +                                      }) }
  1650  +                                  }) }
  1651  +                                b: (int){ 4 }
  1652  +                              }, (struct){
  1653  +                                a: (struct){ |((struct){
  1654  +                                    a: (struct){ |((struct){
  1655  +                                        a: (struct){
  1656  +                                          b: (int){ 4 }
  1657  +                                        }
  1658  +                                        b: (int){ 4 }
  1659  +                                      }, (struct){
  1660  +                                        a: (struct){
  1661  +                                          a: (struct){
  1662  +                                            a: (struct){
  1663  +                                              b: (int){ 4 }
  1664  +                                            }
  1665  +                                          }
  1666  +                                          b: (int){ 4 }
  1667  +                                        }
  1668  +                                      }) }
  1669  +                                    b: (int){ 4 }
  1670  +                                  }, (struct){
  1671  +                                    a: (struct){ |((struct){
  1672  +                                        a: (struct){
  1673  +                                          a: (struct){
  1674  +                                            b: (int){ 4 }
  1675  +                                          }
  1676  +                                          b: (int){ 4 }
  1677  +                                        }
  1678  +                                        b: (int){ 4 }
  1679  +                                      }, (struct){
  1680  +                                        a: (struct){
  1681  +                                          a: (struct){
  1682  +                                            a: (struct){
  1683  +                                              b: (int){ 4 }
  1684  +                                            }
  1685  +                                            b: (int){ 4 }
  1686  +                                          }
  1687  +                                          b: (int){ 4 }
  1688  +                                        }
  1689  +                                      }) }
  1690  +                                  }) }
  1691  +                              }) }
  1692  +                          }) }
  1693  +                      }) }
  1694  +                  }) }
  1695  +              }) }
  1696  +          }) }
  1697  +        b: (int){ 4 }
  1698  +      }, (struct){
  1699  +        a: (struct){ |((struct){
  1700  +            a: (struct){ |((struct){
  1701  +                a: (struct){ |((struct){
  1702  +                    b: (int){ 4 }
  1703  +                  }, (struct){
  1704  +                    a: (struct){
  1705  +                      a: (struct){
  1706  +                        a: (struct){ |((struct){
  1707  +                            b: (int){ 4 }
  1708  +                          }, (struct){
  1709  +                            a: (struct){
  1710  +                              a: (struct){
  1711  +                                a: (struct){
  1712  +                                  b: (int){ 4 }
  1713  +                                }
  1714  +                              }
  1715  +                            }
  1716  +                          }) }
  1717  +                      }
  1718  +                    }
  1719  +                  }) }
  1720  +                b: (int){ 4 }
  1721  +              }, (struct){
  1722  +                a: (struct){ |((struct){
  1723  +                    a: (struct){
  1724  +                      a: (struct){ |((struct){
  1725  +                          b: (int){ 4 }
  1726  +                        }, (struct){
  1727  +                          a: (struct){
  1728  +                            a: (struct){
  1729  +                              a: (struct){ |((struct){
  1730  +                                  b: (int){ 4 }
  1731  +                                }, (struct){
  1732  +                                  a: (struct){
  1733  +                                    a: (struct){
  1734  +                                      a: (struct){
  1735  +                                        b: (int){ 4 }
  1736  +                                      }
  1737  +                                    }
  1738  +                                  }
  1739  +                                }) }
  1740  +                            }
  1741  +                          }
  1742  +                        }) }
  1743  +                    }
  1744  +                    b: (int){ 4 }
  1745  +                  }, (struct){
  1746  +                    a: (struct){
  1747  +                      a: (struct){ |((struct){
  1748  +                          a: (struct){ |((struct){
  1749  +                              b: (int){ 4 }
  1750  +                            }, (struct){
  1751  +                              a: (struct){
  1752  +                                a: (struct){
  1753  +                                  a: (struct){
  1754  +                                    b: (int){ 4 }
  1755  +                                  }
  1756  +                                }
  1757  +                              }
  1758  +                            }) }
  1759  +                          b: (int){ 4 }
  1760  +                        }, (struct){
  1761  +                          a: (struct){ |((struct){
  1762  +                              a: (struct){
  1763  +                                a: (struct){ |((struct){
  1764  +                                    b: (int){ 4 }
  1765  +                                  }, (struct){
  1766  +                                    a: (struct){
  1767  +                                      a: (struct){
  1768  +                                        a: (struct){
  1769  +                                          b: (int){ 4 }
  1770  +                                        }
  1771  +                                      }
  1772  +                                    }
  1773  +                                  }) }
  1774  +                              }
  1775  +                              b: (int){ 4 }
  1776  +                            }, (struct){
  1777  +                              a: (struct){
  1778  +                                a: (struct){ |((struct){
  1779  +                                    a: (struct){
  1780  +                                      b: (int){ 4 }
  1781  +                                    }
  1782  +                                    b: (int){ 4 }
  1783  +                                  }, (struct){
  1784  +                                    a: (struct){
  1785  +                                      a: (struct){
  1786  +                                        a: (struct){
  1787  +                                          b: (int){ 4 }
  1788  +                                        }
  1789  +                                      }
  1790  +                                      b: (int){ 4 }
  1791  +                                    }
  1792  +                                  }) }
  1793  +                              }
  1794  +                            }) }
  1795  +                        }) }
  1796  +                    }
  1797  +                  }) }
  1798  +              }) }
  1799  +            b: (int){ 4 }
  1800  +          }, (struct){
  1801  +            a: (struct){ |((struct){
  1802  +                a: (struct){ |((struct){
  1803  +                    a: (struct){ |((struct){
  1804  +                        b: (int){ 4 }
  1805  +                      }, (struct){
  1806  +                        a: (struct){
  1807  +                          a: (struct){
  1808  +                            a: (struct){ |((struct){
  1809  +                                b: (int){ 4 }
  1810  +                              }, (struct){
  1811  +                                a: (struct){
  1812  +                                  a: (struct){
  1813  +                                    a: (struct){
  1814  +                                      b: (int){ 4 }
  1815  +                                    }
  1816  +                                  }
  1817  +                                }
  1818  +                              }) }
  1819  +                          }
  1820  +                        }
  1821  +                      }) }
  1822  +                    b: (int){ 4 }
  1823  +                  }, (struct){
  1824  +                    a: (struct){ |((struct){
  1825  +                        a: (struct){
  1826  +                          a: (struct){ |((struct){
  1827  +                              b: (int){ 4 }
  1828  +                            }, (struct){
  1829  +                              a: (struct){
  1830  +                                a: (struct){
  1831  +                                  a: (struct){
  1832  +                                    b: (int){ 4 }
  1833  +                                  }
  1834  +                                }
  1835  +                              }
  1836  +                            }) }
  1837  +                        }
  1838  +                        b: (int){ 4 }
  1839  +                      }, (struct){
  1840  +                        a: (struct){
  1841  +                          a: (struct){ |((struct){
  1842  +                              a: (struct){ |((struct){
  1843  +                                  b: (int){ 4 }
  1844  +                                }, (struct){
  1845  +                                  a: (struct){
  1846  +                                    a: (struct){
  1847  +                                      a: (struct){
  1848  +                                        b: (int){ 4 }
  1849  +                                      }
  1850  +                                    }
  1851  +                                  }
  1852  +                                }) }
  1853  +                              b: (int){ 4 }
  1854  +                            }, (struct){
  1855  +                              a: (struct){ |((struct){
  1856  +                                  a: (struct){
  1857  +                                    a: (struct){
  1858  +                                      b: (int){ 4 }
  1859  +                                    }
  1860  +                                  }
  1861  +                                  b: (int){ 4 }
  1862  +                                }, (struct){
  1863  +                                  a: (struct){
  1864  +                                    a: (struct){
  1865  +                                      a: (struct){
  1866  +                                        b: (int){ 4 }
  1867  +                                      }
  1868  +                                      b: (int){ 4 }
  1869  +                                    }
  1870  +                                  }
  1871  +                                }) }
  1872  +                            }) }
  1873  +                        }
  1874  +                      }) }
  1875  +                  }) }
  1876  +                b: (int){ 4 }
  1877  +              }, (struct){
  1878  +                a: (struct){ |((struct){
  1879  +                    a: (struct){ |((struct){
  1880  +                        a: (struct){ |((struct){
  1881  +                            b: (int){ 4 }
  1882  +                          }, (struct){
  1883  +                            a: (struct){
  1884  +                              a: (struct){
  1885  +                                a: (struct){ |((struct){
  1886  +                                    b: (int){ 4 }
  1887  +                                  }, (struct){
  1888  +                                    a: (struct){
  1889  +                                      a: (struct){
  1890  +                                        a: (struct){
  1891  +                                          b: (int){ 4 }
  1892  +                                        }
  1893  +                                      }
  1894  +                                    }
  1895  +                                  }) }
  1896  +                              }
  1897  +                            }
  1898  +                          }) }
  1899  +                        b: (int){ 4 }
  1900  +                      }, (struct){
  1901  +                        a: (struct){ |((struct){
  1902  +                            a: (struct){
  1903  +                              a: (struct){ |((struct){
  1904  +                                  b: (int){ 4 }
  1905  +                                }, (struct){
  1906  +                                  a: (struct){
  1907  +                                    a: (struct){
  1908  +                                      a: (struct){
  1909  +                                        b: (int){ 4 }
  1910  +                                      }
  1911  +                                    }
  1912  +                                  }
  1913  +                                }) }
  1914  +                            }
  1915  +                            b: (int){ 4 }
  1916  +                          }, (struct){
  1917  +                            a: (struct){
  1918  +                              a: (struct){ |((struct){
  1919  +                                  a: (struct){ |((struct){
  1920  +                                      b: (int){ 4 }
  1921  +                                    }, (struct){
  1922  +                                      a: (struct){
  1923  +                                        a: (struct){
  1924  +                                          a: (struct){
  1925  +                                            b: (int){ 4 }
  1926  +                                          }
  1927  +                                        }
  1928  +                                      }
  1929  +                                    }) }
  1930  +                                  b: (int){ 4 }
  1931  +                                }, (struct){
  1932  +                                  a: (struct){ |((struct){
  1933  +                                      a: (struct){
  1934  +                                        a: (struct){
  1935  +                                          b: (int){ 4 }
  1936  +                                        }
  1937  +                                      }
  1938  +                                      b: (int){ 4 }
  1939  +                                    }, (struct){
  1940  +                                      a: (struct){
  1941  +                                        a: (struct){
  1942  +                                          a: (struct){
  1943  +                                            b: (int){ 4 }
  1944  +                                          }
  1945  +                                          b: (int){ 4 }
  1946  +                                        }
  1947  +                                      }
  1948  +                                    }) }
  1949  +                                }) }
  1950  +                            }
  1951  +                          }) }
  1952  +                      }) }
  1953  +                    b: (int){ 4 }
  1954  +                  }, (struct){
  1955  +                    a: (struct){ |((struct){
  1956  +                        a: (struct){ |((struct){
  1957  +                            a: (struct){ |((struct){
  1958  +                                b: (int){ 4 }
  1959  +                              }, (struct){
  1960  +                                a: (struct){
  1961  +                                  a: (struct){
  1962  +                                    a: (struct){
  1963  +                                      b: (int){ 4 }
  1964  +                                    }
  1965  +                                  }
  1966  +                                }
  1967  +                              }) }
  1968  +                            b: (int){ 4 }
  1969  +                          }, (struct){
  1970  +                            a: (struct){ |((struct){
  1971  +                                a: (struct){
  1972  +                                  a: (struct){ |((struct){
  1973  +                                      b: (int){ 4 }
  1974  +                                    }, (struct){
  1975  +                                      a: (struct){
  1976  +                                        a: (struct){
  1977  +                                          a: (struct){
  1978  +                                            b: (int){ 4 }
  1979  +                                          }
  1980  +                                        }
  1981  +                                      }
  1982  +                                    }) }
  1983  +                                }
  1984  +                                b: (int){ 4 }
  1985  +                              }, (struct){
  1986  +                                a: (struct){
  1987  +                                  a: (struct){ |((struct){
  1988  +                                      a: (struct){
  1989  +                                        b: (int){ 4 }
  1990  +                                      }
  1991  +                                      b: (int){ 4 }
  1992  +                                    }, (struct){
  1993  +                                      a: (struct){
  1994  +                                        a: (struct){
  1995  +                                          a: (struct){
  1996  +                                            b: (int){ 4 }
  1997  +                                          }
  1998  +                                        }
  1999  +                                        b: (int){ 4 }
  2000  +                                      }
  2001  +                                    }) }
  2002  +                                }
  2003  +                              }) }
  2004  +                          }) }
  2005  +                        b: (int){ 4 }
  2006  +                      }, (struct){
  2007  +                        a: (struct){ |((struct){
  2008  +                            a: (struct){ |((struct){
  2009  +                                a: (struct){ |((struct){
  2010  +                                    b: (int){ 4 }
  2011  +                                  }, (struct){
  2012  +                                    a: (struct){
  2013  +                                      a: (struct){
  2014  +                                        a: (struct){
  2015  +                                          b: (int){ 4 }
  2016  +                                        }
  2017  +                                      }
  2018  +                                    }
  2019  +                                  }) }
  2020  +                                b: (int){ 4 }
  2021  +                              }, (struct){
  2022  +                                a: (struct){ |((struct){
  2023  +                                    a: (struct){
  2024  +                                      a: (struct){
  2025  +                                        b: (int){ 4 }
  2026  +                                      }
  2027  +                                    }
  2028  +                                    b: (int){ 4 }
  2029  +                                  }, (struct){
  2030  +                                    a: (struct){
  2031  +                                      a: (struct){
  2032  +                                        a: (struct){
  2033  +                                          b: (int){ 4 }
  2034  +                                        }
  2035  +                                        b: (int){ 4 }
  2036  +                                      }
  2037  +                                    }
  2038  +                                  }) }
  2039  +                              }) }
  2040  +                            b: (int){ 4 }
  2041  +                          }, (struct){
  2042  +                            a: (struct){ |((struct){
  2043  +                                a: (struct){ |((struct){
  2044  +                                    a: (struct){ |((struct){
  2045  +                                        b: (int){ 4 }
  2046  +                                      }, (struct){
  2047  +                                        a: (struct){
  2048  +                                          a: (struct){
  2049  +                                            a: (struct){
  2050  +                                              b: (int){ 4 }
  2051  +                                            }
  2052  +                                          }
  2053  +                                        }
  2054  +                                      }) }
  2055  +                                    b: (int){ 4 }
  2056  +                                  }, (struct){
  2057  +                                    a: (struct){ |((struct){
  2058  +                                        a: (struct){
  2059  +                                          a: (struct){
  2060  +                                            b: (int){ 4 }
  2061  +                                          }
  2062  +                                        }
  2063  +                                        b: (int){ 4 }
  2064  +                                      }, (struct){
  2065  +                                        a: (struct){
  2066  +                                          a: (struct){
  2067  +                                            a: (struct){
  2068  +                                              b: (int){ 4 }
  2069  +                                            }
  2070  +                                            b: (int){ 4 }
  2071  +                                          }
  2072  +                                        }
  2073  +                                      }) }
  2074  +                                  }) }
  2075  +                                b: (int){ 4 }
  2076  +                              }, (struct){
  2077  +                                a: (struct){ |((struct){
  2078  +                                    a: (struct){ |((struct){
  2079  +                                        a: (struct){
  2080  +                                          b: (int){ 4 }
  2081  +                                        }
  2082  +                                        b: (int){ 4 }
  2083  +                                      }, (struct){
  2084  +                                        a: (struct){
  2085  +                                          a: (struct){
  2086  +                                            a: (struct){
  2087  +                                              b: (int){ 4 }
  2088  +                                            }
  2089  +                                          }
  2090  +                                          b: (int){ 4 }
  2091  +                                        }
  2092  +                                      }) }
  2093  +                                    b: (int){ 4 }
  2094  +                                  }, (struct){
  2095  +                                    a: (struct){ |((struct){
  2096  +                                        a: (struct){
  2097  +                                          a: (struct){
  2098  +                                            b: (int){ 4 }
  2099  +                                          }
  2100  +                                          b: (int){ 4 }
  2101  +                                        }
  2102  +                                        b: (int){ 4 }
  2103  +                                      }, (struct){
  2104  +                                        a: (struct){
  2105  +                                          a: (struct){
  2106  +                                            a: (struct){
  2107  +                                              b: (int){ 4 }
  2108  +                                            }
  2109  +                                            b: (int){ 4 }
  2110  +                                          }
  2111  +                                          b: (int){ 4 }
  2112  +                                        }
  2113  +                                      }) }
  2114  +                                  }) }
  2115  +                              }) }
  2116  +                          }) }
  2117  +                      }) }
  2118  +                  }) }
  2119  +              }) }
  2120  +          }) }
  2121  +      }) }
  2122     }
  2123   }
  2124  -- diff/todo/p2 --
  2125  Investigate differing counts of errors in empty disjunctions. This may
  2126  indicate a performance issue.
  2127  -- out/eval --
  2128  Errors:
  2129  t1.p1: 2 errors in empty disjunction:
  2130  t1.p1: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
  2131      ./in.cue:2:2
  2132      ./in.cue:3:5
  2133      ./in.cue:3:10
  2134  t1.p1: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
  2135      ./in.cue:2:2
  2136      ./in.cue:3:5
  2137      ./in.cue:3:8
  2138  t1.p2: 2 errors in empty disjunction:
  2139  t1.p2: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
  2140      ./in.cue:6:5
  2141      ./in.cue:6:10
  2142      ./in.cue:7:2
  2143  t1.p2: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
  2144      ./in.cue:6:5
  2145      ./in.cue:6:8
  2146      ./in.cue:7:2
  2147  t2.p1.d: 2 errors in empty disjunction:
  2148  t2.p1.d: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
  2149      ./in.cue:10:5
  2150      ./in.cue:11:8
  2151      ./in.cue:11:13
  2152  t2.p1.d: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
  2153      ./in.cue:10:5
  2154      ./in.cue:11:8
  2155      ./in.cue:11:11
  2156  t2.p2.d: 2 errors in empty disjunction:
  2157  t2.p2.d: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
  2158      ./in.cue:14:5
  2159      ./in.cue:15:8
  2160      ./in.cue:15:13
  2161  t2.p2.d: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
  2162      ./in.cue:14:5
  2163      ./in.cue:15:8
  2164      ./in.cue:15:11
  2165  
  2166  Result:
  2167  (_|_){
  2168    // [eval]
  2169    t1: (_|_){
  2170      // [eval]
  2171      p1: (_|_){
  2172        // [eval] t1.p1: 2 errors in empty disjunction:
  2173        // t1.p1: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
  2174        //     ./in.cue:2:2
  2175        //     ./in.cue:3:5
  2176        //     ./in.cue:3:10
  2177        // t1.p1: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
  2178        //     ./in.cue:2:2
  2179        //     ./in.cue:3:5
  2180        //     ./in.cue:3:8
  2181        a: (struct){
  2182          a: (int){ |((int){ 2 }, (int){ 1 }) }
  2183        }
  2184      }
  2185      p2: (_|_){
  2186        // [eval] t1.p2: 2 errors in empty disjunction:
  2187        // t1.p2: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
  2188        //     ./in.cue:6:5
  2189        //     ./in.cue:6:10
  2190        //     ./in.cue:7:2
  2191        // t1.p2: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
  2192        //     ./in.cue:6:5
  2193        //     ./in.cue:6:8
  2194        //     ./in.cue:7:2
  2195        a: (struct){
  2196          a: (int){ |((int){ 2 }, (int){ 1 }) }
  2197        }
  2198      }
  2199    }
  2200    t2: (_|_){
  2201      // [eval]
  2202      p1: (_|_){
  2203        // [eval]
  2204        d: (_|_){
  2205          // [eval] t2.p1.d: 2 errors in empty disjunction:
  2206          // t2.p1.d: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
  2207          //     ./in.cue:10:5
  2208          //     ./in.cue:11:8
  2209          //     ./in.cue:11:13
  2210          // t2.p1.d: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
  2211          //     ./in.cue:10:5
  2212          //     ./in.cue:11:8
  2213          //     ./in.cue:11:11
  2214          a: (struct){
  2215            a: (int){ |((int){ 2 }, (int){ 1 }) }
  2216          }
  2217        }
  2218      }
  2219      p2: (_|_){
  2220        // [eval]
  2221        d: (_|_){
  2222          // [eval] t2.p2.d: 2 errors in empty disjunction:
  2223          // t2.p2.d: conflicting values 1 and {a:(2|1)} (mismatched types int and struct):
  2224          //     ./in.cue:14:5
  2225          //     ./in.cue:15:8
  2226          //     ./in.cue:15:13
  2227          // t2.p2.d: conflicting values 2 and {a:(2|1)} (mismatched types int and struct):
  2228          //     ./in.cue:14:5
  2229          //     ./in.cue:15:8
  2230          //     ./in.cue:15:11
  2231          a: (struct){
  2232            a: (int){ |((int){ 2 }, (int){ 1 }) }
  2233          }
  2234        }
  2235      }
  2236    }
  2237    t3: (struct){
  2238      p1: (struct){
  2239        b: (int){ |((int){ 1 }, (int){ 2 }) }
  2240        a: (int){ |((int){ 1 }, (int){ 2 }) }
  2241      }
  2242      p2: (struct){
  2243        b: (int){ |((int){ 1 }, (int){ 2 }) }
  2244        a: (int){ |((int){ 1 }, (int){ 2 }) }
  2245      }
  2246    }
  2247    issue3437: (struct){
  2248      r: (_|_){
  2249        // [incomplete] issue3437.r: cycle error referencing a:
  2250        //     ./issue3437.cue:2:9
  2251      }
  2252      d: (struct){
  2253        a: (struct){
  2254          a: (struct){
  2255            a: (struct){
  2256              b: (int){ 4 }
  2257            }
  2258          }
  2259        }
  2260      }
  2261      out: (struct){
  2262        a: (struct){
  2263          a: (struct){ |((struct){
  2264              a: (struct){
  2265                b: (int){ 4 }
  2266              }
  2267              b: (int){ 4 }
  2268            }, (struct){
  2269              a: (struct){
  2270                a: (struct){
  2271                  a: (struct){ |((struct){
  2272                      b: (int){ 4 }
  2273                    }, (struct){
  2274                      a: (struct){
  2275                        a: (struct){
  2276                          a: (struct){
  2277                            b: (int){ 4 }
  2278                          }
  2279                        }
  2280                      }
  2281                    }) }
  2282                }
  2283                b: (int){ 4 }
  2284              }
  2285            }) }
  2286        }
  2287        b: (int){ 4 }
  2288      }
  2289    }
  2290  }