b199b67a1dc9ed62f467033a9d14b0a7404be0af 63 KB

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