2aa0ee106f4e4f04b322e83830ba574e8be2506f 850 B

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051
  1. compilation_unit {
  2. package_statement {
  3. package_name: "ExplorerTest"
  4. }
  5. is_api: true
  6. declarations {
  7. function {
  8. name {
  9. name: "NoReturn"
  10. }
  11. param_pattern {
  12. }
  13. return_term {
  14. kind: Auto
  15. }
  16. body {
  17. }
  18. }
  19. }
  20. declarations {
  21. function {
  22. name {
  23. name: "Main"
  24. }
  25. param_pattern {
  26. }
  27. return_term {
  28. kind: Omitted
  29. }
  30. body {
  31. statements {
  32. expression_statement {
  33. expression {
  34. call {
  35. function {
  36. identifier {
  37. name: "NoReturn"
  38. }
  39. }
  40. argument {
  41. tuple_literal {
  42. }
  43. }
  44. }
  45. }
  46. }
  47. }
  48. }
  49. }
  50. }
  51. }