8af1e91a050ed3a94b03ae4eaaa4ae65d8e5975c 51 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669
  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. }
  188. }
  189. clauses {
  190. pattern {
  191. expression_pattern {
  192. expression {
  193. tuple_literal {
  194. fields {
  195. call {
  196. function {
  197. simple_member_access {
  198. field: "A"
  199. object {
  200. identifier {
  201. name: "AB"
  202. }
  203. }
  204. }
  205. }
  206. argument {
  207. tuple_literal {
  208. }
  209. }
  210. }
  211. }
  212. fields {
  213. call {
  214. function {
  215. simple_member_access {
  216. field: "A"
  217. object {
  218. identifier {
  219. name: "AB"
  220. }
  221. }
  222. }
  223. }
  224. argument {
  225. tuple_literal {
  226. }
  227. }
  228. }
  229. }
  230. fields {
  231. call {
  232. function {
  233. simple_member_access {
  234. field: "A"
  235. object {
  236. identifier {
  237. name: "AB"
  238. }
  239. }
  240. }
  241. }
  242. argument {
  243. tuple_literal {
  244. }
  245. }
  246. }
  247. }
  248. fields {
  249. call {
  250. function {
  251. simple_member_access {
  252. field: "A"
  253. object {
  254. identifier {
  255. name: "AB"
  256. }
  257. }
  258. }
  259. }
  260. argument {
  261. tuple_literal {
  262. }
  263. }
  264. }
  265. }
  266. fields {
  267. call {
  268. function {
  269. simple_member_access {
  270. field: "A"
  271. object {
  272. identifier {
  273. name: "AB"
  274. }
  275. }
  276. }
  277. }
  278. argument {
  279. tuple_literal {
  280. }
  281. }
  282. }
  283. }
  284. fields {
  285. call {
  286. function {
  287. simple_member_access {
  288. field: "A"
  289. object {
  290. identifier {
  291. name: "AB"
  292. }
  293. }
  294. }
  295. }
  296. argument {
  297. tuple_literal {
  298. }
  299. }
  300. }
  301. }
  302. fields {
  303. call {
  304. function {
  305. simple_member_access {
  306. field: "A"
  307. object {
  308. identifier {
  309. name: "AB"
  310. }
  311. }
  312. }
  313. }
  314. argument {
  315. tuple_literal {
  316. }
  317. }
  318. }
  319. }
  320. fields {
  321. call {
  322. function {
  323. simple_member_access {
  324. field: "A"
  325. object {
  326. identifier {
  327. name: "AB"
  328. }
  329. }
  330. }
  331. }
  332. argument {
  333. tuple_literal {
  334. }
  335. }
  336. }
  337. }
  338. }
  339. }
  340. }
  341. }
  342. statement {
  343. block {
  344. statements {
  345. return_expression_statement {
  346. expression {
  347. int_literal {
  348. value: 0
  349. }
  350. }
  351. }
  352. }
  353. }
  354. }
  355. }
  356. clauses {
  357. pattern {
  358. expression_pattern {
  359. expression {
  360. tuple_literal {
  361. fields {
  362. call {
  363. function {
  364. simple_member_access {
  365. field: "B"
  366. object {
  367. identifier {
  368. name: "AB"
  369. }
  370. }
  371. }
  372. }
  373. argument {
  374. tuple_literal {
  375. }
  376. }
  377. }
  378. }
  379. fields {
  380. call {
  381. function {
  382. simple_member_access {
  383. field: "A"
  384. object {
  385. identifier {
  386. name: "AB"
  387. }
  388. }
  389. }
  390. }
  391. argument {
  392. tuple_literal {
  393. }
  394. }
  395. }
  396. }
  397. fields {
  398. call {
  399. function {
  400. simple_member_access {
  401. field: "A"
  402. object {
  403. identifier {
  404. name: "AB"
  405. }
  406. }
  407. }
  408. }
  409. argument {
  410. tuple_literal {
  411. }
  412. }
  413. }
  414. }
  415. fields {
  416. call {
  417. function {
  418. simple_member_access {
  419. field: "A"
  420. object {
  421. identifier {
  422. name: "AB"
  423. }
  424. }
  425. }
  426. }
  427. argument {
  428. tuple_literal {
  429. }
  430. }
  431. }
  432. }
  433. fields {
  434. call {
  435. function {
  436. simple_member_access {
  437. field: "A"
  438. object {
  439. identifier {
  440. name: "AB"
  441. }
  442. }
  443. }
  444. }
  445. argument {
  446. tuple_literal {
  447. }
  448. }
  449. }
  450. }
  451. fields {
  452. call {
  453. function {
  454. simple_member_access {
  455. field: "A"
  456. object {
  457. identifier {
  458. name: "AB"
  459. }
  460. }
  461. }
  462. }
  463. argument {
  464. tuple_literal {
  465. }
  466. }
  467. }
  468. }
  469. fields {
  470. call {
  471. function {
  472. simple_member_access {
  473. field: "A"
  474. object {
  475. identifier {
  476. name: "AB"
  477. }
  478. }
  479. }
  480. }
  481. argument {
  482. tuple_literal {
  483. }
  484. }
  485. }
  486. }
  487. fields {
  488. call {
  489. function {
  490. simple_member_access {
  491. field: "A"
  492. object {
  493. identifier {
  494. name: "AB"
  495. }
  496. }
  497. }
  498. }
  499. argument {
  500. tuple_literal {
  501. }
  502. }
  503. }
  504. }
  505. }
  506. }
  507. }
  508. }
  509. statement {
  510. block {
  511. statements {
  512. return_expression_statement {
  513. expression {
  514. int_literal {
  515. value: 1
  516. }
  517. }
  518. }
  519. }
  520. }
  521. }
  522. }
  523. clauses {
  524. pattern {
  525. tuple_pattern {
  526. fields {
  527. binding_pattern {
  528. name: "_"
  529. type {
  530. expression_pattern {
  531. expression {
  532. identifier {
  533. name: "AB"
  534. }
  535. }
  536. }
  537. }
  538. }
  539. }
  540. fields {
  541. expression_pattern {
  542. expression {
  543. call {
  544. function {
  545. simple_member_access {
  546. field: "B"
  547. object {
  548. identifier {
  549. name: "AB"
  550. }
  551. }
  552. }
  553. }
  554. argument {
  555. tuple_literal {
  556. }
  557. }
  558. }
  559. }
  560. }
  561. }
  562. fields {
  563. expression_pattern {
  564. expression {
  565. call {
  566. function {
  567. simple_member_access {
  568. field: "A"
  569. object {
  570. identifier {
  571. name: "AB"
  572. }
  573. }
  574. }
  575. }
  576. argument {
  577. tuple_literal {
  578. }
  579. }
  580. }
  581. }
  582. }
  583. }
  584. fields {
  585. expression_pattern {
  586. expression {
  587. call {
  588. function {
  589. simple_member_access {
  590. field: "A"
  591. object {
  592. identifier {
  593. name: "AB"
  594. }
  595. }
  596. }
  597. }
  598. argument {
  599. tuple_literal {
  600. }
  601. }
  602. }
  603. }
  604. }
  605. }
  606. fields {
  607. expression_pattern {
  608. expression {
  609. call {
  610. function {
  611. simple_member_access {
  612. field: "A"
  613. object {
  614. identifier {
  615. name: "AB"
  616. }
  617. }
  618. }
  619. }
  620. argument {
  621. tuple_literal {
  622. }
  623. }
  624. }
  625. }
  626. }
  627. }
  628. fields {
  629. expression_pattern {
  630. expression {
  631. call {
  632. function {
  633. simple_member_access {
  634. field: "A"
  635. object {
  636. identifier {
  637. name: "AB"
  638. }
  639. }
  640. }
  641. }
  642. argument {
  643. tuple_literal {
  644. }
  645. }
  646. }
  647. }
  648. }
  649. }
  650. fields {
  651. expression_pattern {
  652. expression {
  653. call {
  654. function {
  655. simple_member_access {
  656. field: "A"
  657. object {
  658. identifier {
  659. name: "AB"
  660. }
  661. }
  662. }
  663. }
  664. argument {
  665. tuple_literal {
  666. }
  667. }
  668. }
  669. }
  670. }
  671. }
  672. fields {
  673. expression_pattern {
  674. expression {
  675. call {
  676. function {
  677. simple_member_access {
  678. field: "A"
  679. object {
  680. identifier {
  681. name: "AB"
  682. }
  683. }
  684. }
  685. }
  686. argument {
  687. tuple_literal {
  688. }
  689. }
  690. }
  691. }
  692. }
  693. }
  694. }
  695. }
  696. statement {
  697. block {
  698. statements {
  699. return_expression_statement {
  700. expression {
  701. int_literal {
  702. value: 2
  703. }
  704. }
  705. }
  706. }
  707. }
  708. }
  709. }
  710. clauses {
  711. pattern {
  712. tuple_pattern {
  713. fields {
  714. binding_pattern {
  715. name: "_"
  716. type {
  717. expression_pattern {
  718. expression {
  719. identifier {
  720. name: "AB"
  721. }
  722. }
  723. }
  724. }
  725. }
  726. }
  727. fields {
  728. binding_pattern {
  729. name: "_"
  730. type {
  731. expression_pattern {
  732. expression {
  733. identifier {
  734. name: "AB"
  735. }
  736. }
  737. }
  738. }
  739. }
  740. }
  741. fields {
  742. expression_pattern {
  743. expression {
  744. call {
  745. function {
  746. simple_member_access {
  747. field: "B"
  748. object {
  749. identifier {
  750. name: "AB"
  751. }
  752. }
  753. }
  754. }
  755. argument {
  756. tuple_literal {
  757. }
  758. }
  759. }
  760. }
  761. }
  762. }
  763. fields {
  764. expression_pattern {
  765. expression {
  766. call {
  767. function {
  768. simple_member_access {
  769. field: "A"
  770. object {
  771. identifier {
  772. name: "AB"
  773. }
  774. }
  775. }
  776. }
  777. argument {
  778. tuple_literal {
  779. }
  780. }
  781. }
  782. }
  783. }
  784. }
  785. fields {
  786. expression_pattern {
  787. expression {
  788. call {
  789. function {
  790. simple_member_access {
  791. field: "A"
  792. object {
  793. identifier {
  794. name: "AB"
  795. }
  796. }
  797. }
  798. }
  799. argument {
  800. tuple_literal {
  801. }
  802. }
  803. }
  804. }
  805. }
  806. }
  807. fields {
  808. expression_pattern {
  809. expression {
  810. call {
  811. function {
  812. simple_member_access {
  813. field: "A"
  814. object {
  815. identifier {
  816. name: "AB"
  817. }
  818. }
  819. }
  820. }
  821. argument {
  822. tuple_literal {
  823. }
  824. }
  825. }
  826. }
  827. }
  828. }
  829. fields {
  830. expression_pattern {
  831. expression {
  832. call {
  833. function {
  834. simple_member_access {
  835. field: "A"
  836. object {
  837. identifier {
  838. name: "AB"
  839. }
  840. }
  841. }
  842. }
  843. argument {
  844. tuple_literal {
  845. }
  846. }
  847. }
  848. }
  849. }
  850. }
  851. fields {
  852. expression_pattern {
  853. expression {
  854. call {
  855. function {
  856. simple_member_access {
  857. field: "A"
  858. object {
  859. identifier {
  860. name: "AB"
  861. }
  862. }
  863. }
  864. }
  865. argument {
  866. tuple_literal {
  867. }
  868. }
  869. }
  870. }
  871. }
  872. }
  873. }
  874. }
  875. statement {
  876. block {
  877. statements {
  878. return_expression_statement {
  879. expression {
  880. int_literal {
  881. value: 3
  882. }
  883. }
  884. }
  885. }
  886. }
  887. }
  888. }
  889. clauses {
  890. pattern {
  891. tuple_pattern {
  892. fields {
  893. binding_pattern {
  894. name: "_"
  895. type {
  896. expression_pattern {
  897. expression {
  898. identifier {
  899. name: "AB"
  900. }
  901. }
  902. }
  903. }
  904. }
  905. }
  906. fields {
  907. binding_pattern {
  908. name: "_"
  909. type {
  910. expression_pattern {
  911. expression {
  912. identifier {
  913. name: "AB"
  914. }
  915. }
  916. }
  917. }
  918. }
  919. }
  920. fields {
  921. binding_pattern {
  922. name: "_"
  923. type {
  924. expression_pattern {
  925. expression {
  926. identifier {
  927. name: "AB"
  928. }
  929. }
  930. }
  931. }
  932. }
  933. }
  934. fields {
  935. expression_pattern {
  936. expression {
  937. call {
  938. function {
  939. simple_member_access {
  940. field: "B"
  941. object {
  942. identifier {
  943. name: "AB"
  944. }
  945. }
  946. }
  947. }
  948. argument {
  949. tuple_literal {
  950. }
  951. }
  952. }
  953. }
  954. }
  955. }
  956. fields {
  957. expression_pattern {
  958. expression {
  959. call {
  960. function {
  961. simple_member_access {
  962. field: "A"
  963. object {
  964. identifier {
  965. name: "AB"
  966. }
  967. }
  968. }
  969. }
  970. argument {
  971. tuple_literal {
  972. }
  973. }
  974. }
  975. }
  976. }
  977. }
  978. fields {
  979. expression_pattern {
  980. expression {
  981. call {
  982. function {
  983. simple_member_access {
  984. field: "A"
  985. object {
  986. identifier {
  987. name: "AB"
  988. }
  989. }
  990. }
  991. }
  992. argument {
  993. tuple_literal {
  994. }
  995. }
  996. }
  997. }
  998. }
  999. }
  1000. fields {
  1001. expression_pattern {
  1002. expression {
  1003. call {
  1004. function {
  1005. simple_member_access {
  1006. field: "A"
  1007. object {
  1008. identifier {
  1009. name: "AB"
  1010. }
  1011. }
  1012. }
  1013. }
  1014. argument {
  1015. tuple_literal {
  1016. }
  1017. }
  1018. }
  1019. }
  1020. }
  1021. }
  1022. fields {
  1023. expression_pattern {
  1024. expression {
  1025. call {
  1026. function {
  1027. simple_member_access {
  1028. field: "A"
  1029. object {
  1030. identifier {
  1031. name: "AB"
  1032. }
  1033. }
  1034. }
  1035. }
  1036. argument {
  1037. tuple_literal {
  1038. }
  1039. }
  1040. }
  1041. }
  1042. }
  1043. }
  1044. }
  1045. }
  1046. statement {
  1047. block {
  1048. statements {
  1049. return_expression_statement {
  1050. expression {
  1051. int_literal {
  1052. value: 4
  1053. }
  1054. }
  1055. }
  1056. }
  1057. }
  1058. }
  1059. }
  1060. clauses {
  1061. pattern {
  1062. tuple_pattern {
  1063. fields {
  1064. binding_pattern {
  1065. name: "_"
  1066. type {
  1067. expression_pattern {
  1068. expression {
  1069. identifier {
  1070. name: "AB"
  1071. }
  1072. }
  1073. }
  1074. }
  1075. }
  1076. }
  1077. fields {
  1078. binding_pattern {
  1079. name: "_"
  1080. type {
  1081. expression_pattern {
  1082. expression {
  1083. identifier {
  1084. name: "AB"
  1085. }
  1086. }
  1087. }
  1088. }
  1089. }
  1090. }
  1091. fields {
  1092. binding_pattern {
  1093. name: "_"
  1094. type {
  1095. expression_pattern {
  1096. expression {
  1097. identifier {
  1098. name: "AB"
  1099. }
  1100. }
  1101. }
  1102. }
  1103. }
  1104. }
  1105. fields {
  1106. binding_pattern {
  1107. name: "_"
  1108. type {
  1109. expression_pattern {
  1110. expression {
  1111. identifier {
  1112. name: "AB"
  1113. }
  1114. }
  1115. }
  1116. }
  1117. }
  1118. }
  1119. fields {
  1120. expression_pattern {
  1121. expression {
  1122. call {
  1123. function {
  1124. simple_member_access {
  1125. field: "B"
  1126. object {
  1127. identifier {
  1128. name: "AB"
  1129. }
  1130. }
  1131. }
  1132. }
  1133. argument {
  1134. tuple_literal {
  1135. }
  1136. }
  1137. }
  1138. }
  1139. }
  1140. }
  1141. fields {
  1142. expression_pattern {
  1143. expression {
  1144. call {
  1145. function {
  1146. simple_member_access {
  1147. field: "A"
  1148. object {
  1149. identifier {
  1150. name: "AB"
  1151. }
  1152. }
  1153. }
  1154. }
  1155. argument {
  1156. tuple_literal {
  1157. }
  1158. }
  1159. }
  1160. }
  1161. }
  1162. }
  1163. fields {
  1164. expression_pattern {
  1165. expression {
  1166. call {
  1167. function {
  1168. simple_member_access {
  1169. field: "A"
  1170. object {
  1171. identifier {
  1172. name: "AB"
  1173. }
  1174. }
  1175. }
  1176. }
  1177. argument {
  1178. tuple_literal {
  1179. }
  1180. }
  1181. }
  1182. }
  1183. }
  1184. }
  1185. fields {
  1186. expression_pattern {
  1187. expression {
  1188. call {
  1189. function {
  1190. simple_member_access {
  1191. field: "A"
  1192. object {
  1193. identifier {
  1194. name: "AB"
  1195. }
  1196. }
  1197. }
  1198. }
  1199. argument {
  1200. tuple_literal {
  1201. }
  1202. }
  1203. }
  1204. }
  1205. }
  1206. }
  1207. }
  1208. }
  1209. statement {
  1210. block {
  1211. statements {
  1212. return_expression_statement {
  1213. expression {
  1214. int_literal {
  1215. value: 5
  1216. }
  1217. }
  1218. }
  1219. }
  1220. }
  1221. }
  1222. }
  1223. clauses {
  1224. pattern {
  1225. tuple_pattern {
  1226. fields {
  1227. binding_pattern {
  1228. name: "_"
  1229. type {
  1230. expression_pattern {
  1231. expression {
  1232. identifier {
  1233. name: "AB"
  1234. }
  1235. }
  1236. }
  1237. }
  1238. }
  1239. }
  1240. fields {
  1241. binding_pattern {
  1242. name: "_"
  1243. type {
  1244. expression_pattern {
  1245. expression {
  1246. identifier {
  1247. name: "AB"
  1248. }
  1249. }
  1250. }
  1251. }
  1252. }
  1253. }
  1254. fields {
  1255. binding_pattern {
  1256. name: "_"
  1257. type {
  1258. expression_pattern {
  1259. expression {
  1260. identifier {
  1261. name: "AB"
  1262. }
  1263. }
  1264. }
  1265. }
  1266. }
  1267. }
  1268. fields {
  1269. binding_pattern {
  1270. name: "_"
  1271. type {
  1272. expression_pattern {
  1273. expression {
  1274. identifier {
  1275. name: "AB"
  1276. }
  1277. }
  1278. }
  1279. }
  1280. }
  1281. }
  1282. fields {
  1283. binding_pattern {
  1284. name: "_"
  1285. type {
  1286. expression_pattern {
  1287. expression {
  1288. identifier {
  1289. name: "AB"
  1290. }
  1291. }
  1292. }
  1293. }
  1294. }
  1295. }
  1296. fields {
  1297. expression_pattern {
  1298. expression {
  1299. call {
  1300. function {
  1301. simple_member_access {
  1302. field: "B"
  1303. object {
  1304. identifier {
  1305. name: "AB"
  1306. }
  1307. }
  1308. }
  1309. }
  1310. argument {
  1311. tuple_literal {
  1312. }
  1313. }
  1314. }
  1315. }
  1316. }
  1317. }
  1318. fields {
  1319. expression_pattern {
  1320. expression {
  1321. call {
  1322. function {
  1323. simple_member_access {
  1324. field: "A"
  1325. object {
  1326. identifier {
  1327. name: "AB"
  1328. }
  1329. }
  1330. }
  1331. }
  1332. argument {
  1333. tuple_literal {
  1334. }
  1335. }
  1336. }
  1337. }
  1338. }
  1339. }
  1340. fields {
  1341. expression_pattern {
  1342. expression {
  1343. call {
  1344. function {
  1345. simple_member_access {
  1346. field: "A"
  1347. object {
  1348. identifier {
  1349. name: "AB"
  1350. }
  1351. }
  1352. }
  1353. }
  1354. argument {
  1355. tuple_literal {
  1356. }
  1357. }
  1358. }
  1359. }
  1360. }
  1361. }
  1362. }
  1363. }
  1364. statement {
  1365. block {
  1366. statements {
  1367. return_expression_statement {
  1368. expression {
  1369. int_literal {
  1370. value: 6
  1371. }
  1372. }
  1373. }
  1374. }
  1375. }
  1376. }
  1377. }
  1378. clauses {
  1379. pattern {
  1380. tuple_pattern {
  1381. fields {
  1382. binding_pattern {
  1383. name: "_"
  1384. type {
  1385. expression_pattern {
  1386. expression {
  1387. identifier {
  1388. name: "AB"
  1389. }
  1390. }
  1391. }
  1392. }
  1393. }
  1394. }
  1395. fields {
  1396. binding_pattern {
  1397. name: "_"
  1398. type {
  1399. expression_pattern {
  1400. expression {
  1401. identifier {
  1402. name: "AB"
  1403. }
  1404. }
  1405. }
  1406. }
  1407. }
  1408. }
  1409. fields {
  1410. binding_pattern {
  1411. name: "_"
  1412. type {
  1413. expression_pattern {
  1414. expression {
  1415. identifier {
  1416. name: "AB"
  1417. }
  1418. }
  1419. }
  1420. }
  1421. }
  1422. }
  1423. fields {
  1424. binding_pattern {
  1425. name: "_"
  1426. type {
  1427. expression_pattern {
  1428. expression {
  1429. identifier {
  1430. name: "AB"
  1431. }
  1432. }
  1433. }
  1434. }
  1435. }
  1436. }
  1437. fields {
  1438. binding_pattern {
  1439. name: "_"
  1440. type {
  1441. expression_pattern {
  1442. expression {
  1443. identifier {
  1444. name: "AB"
  1445. }
  1446. }
  1447. }
  1448. }
  1449. }
  1450. }
  1451. fields {
  1452. binding_pattern {
  1453. name: "_"
  1454. type {
  1455. expression_pattern {
  1456. expression {
  1457. identifier {
  1458. name: "AB"
  1459. }
  1460. }
  1461. }
  1462. }
  1463. }
  1464. }
  1465. fields {
  1466. expression_pattern {
  1467. expression {
  1468. call {
  1469. function {
  1470. simple_member_access {
  1471. field: "B"
  1472. object {
  1473. identifier {
  1474. name: "AB"
  1475. }
  1476. }
  1477. }
  1478. }
  1479. argument {
  1480. tuple_literal {
  1481. }
  1482. }
  1483. }
  1484. }
  1485. }
  1486. }
  1487. fields {
  1488. expression_pattern {
  1489. expression {
  1490. call {
  1491. function {
  1492. simple_member_access {
  1493. field: "A"
  1494. object {
  1495. identifier {
  1496. name: "AB"
  1497. }
  1498. }
  1499. }
  1500. }
  1501. argument {
  1502. tuple_literal {
  1503. }
  1504. }
  1505. }
  1506. }
  1507. }
  1508. }
  1509. }
  1510. }
  1511. statement {
  1512. block {
  1513. statements {
  1514. return_expression_statement {
  1515. expression {
  1516. int_literal {
  1517. value: 7
  1518. }
  1519. }
  1520. }
  1521. }
  1522. }
  1523. }
  1524. }
  1525. clauses {
  1526. pattern {
  1527. tuple_pattern {
  1528. fields {
  1529. binding_pattern {
  1530. name: "_"
  1531. type {
  1532. expression_pattern {
  1533. expression {
  1534. identifier {
  1535. name: "AB"
  1536. }
  1537. }
  1538. }
  1539. }
  1540. }
  1541. }
  1542. fields {
  1543. binding_pattern {
  1544. name: "_"
  1545. type {
  1546. expression_pattern {
  1547. expression {
  1548. identifier {
  1549. name: "AB"
  1550. }
  1551. }
  1552. }
  1553. }
  1554. }
  1555. }
  1556. fields {
  1557. binding_pattern {
  1558. name: "_"
  1559. type {
  1560. expression_pattern {
  1561. expression {
  1562. identifier {
  1563. name: "AB"
  1564. }
  1565. }
  1566. }
  1567. }
  1568. }
  1569. }
  1570. fields {
  1571. binding_pattern {
  1572. name: "_"
  1573. type {
  1574. expression_pattern {
  1575. expression {
  1576. identifier {
  1577. name: "AB"
  1578. }
  1579. }
  1580. }
  1581. }
  1582. }
  1583. }
  1584. fields {
  1585. binding_pattern {
  1586. name: "_"
  1587. type {
  1588. expression_pattern {
  1589. expression {
  1590. identifier {
  1591. name: "AB"
  1592. }
  1593. }
  1594. }
  1595. }
  1596. }
  1597. }
  1598. fields {
  1599. binding_pattern {
  1600. name: "_"
  1601. type {
  1602. expression_pattern {
  1603. expression {
  1604. identifier {
  1605. name: "AB"
  1606. }
  1607. }
  1608. }
  1609. }
  1610. }
  1611. }
  1612. fields {
  1613. binding_pattern {
  1614. name: "_"
  1615. type {
  1616. expression_pattern {
  1617. expression {
  1618. identifier {
  1619. name: "AB"
  1620. }
  1621. }
  1622. }
  1623. }
  1624. }
  1625. }
  1626. fields {
  1627. expression_pattern {
  1628. expression {
  1629. call {
  1630. function {
  1631. simple_member_access {
  1632. field: "B"
  1633. object {
  1634. identifier {
  1635. name: "AB"
  1636. }
  1637. }
  1638. }
  1639. }
  1640. argument {
  1641. tuple_literal {
  1642. }
  1643. }
  1644. }
  1645. }
  1646. }
  1647. }
  1648. }
  1649. }
  1650. statement {
  1651. block {
  1652. statements {
  1653. return_expression_statement {
  1654. expression {
  1655. int_literal {
  1656. value: 8
  1657. }
  1658. }
  1659. }
  1660. }
  1661. }
  1662. }
  1663. }
  1664. }
  1665. }
  1666. }
  1667. }
  1668. }
  1669. }