compilation_unit { package_statement { package_name: "ExplorerTest" } is_api: true declarations { class_declaration { name { name: "Point" } members { function { name { name: "Origin" } param_pattern { } return_term { kind: Expression type { identifier { name: "Point" } } } body { statements { return_expression_statement { expression { struct_literal { fields { name: "x" expression { int_literal { value: 0 } } } fields { name: "y" expression { int_literal { value: 0 } } } } } } } } } } members { function { name { name: "GetSetX" } self_pattern { addr_pattern { binding_pattern { name: "self" type { expression_pattern { expression { operator { op: Ptr arguments { identifier { name: "Point" } } } } } } } } } param_pattern { fields { binding_pattern { name: "x" type { expression_pattern { expression { int_type_literal { } } } } } } } return_term { kind: Expression type { int_type_literal { } } } body { statements { variable_definition { pattern { binding_pattern { name: "old" type { auto_pattern { } } } } init { simple_member_access { field: "x" object { operator { op: Deref arguments { identifier { name: "self" } } } } } } is_returned: false } } statements { assign { lhs { simple_member_access { field: "x" object { operator { op: Deref arguments { identifier { name: "self" } } } } } } rhs { identifier { name: "x" } } op: Plain } } statements { return_expression_statement { expression { identifier { name: "old" } } } } } } } members { variable { binding { name: "x" type { expression_pattern { expression { int_type_literal { } } } } } } } members { variable { binding { name: "y" type { expression_pattern { expression { int_type_literal { } } } } } } } } } declarations { function { name { name: "Main" } param_pattern { } return_term { kind: Expression type { int_type_literal { } } } body { statements { variable_definition { pattern { binding_pattern { name: "p" type { expression_pattern { expression { identifier { name: "Point" } } } } } } init { call { function { simple_member_access { field: "Origin" object { identifier { name: "Point" } } } } argument { tuple_literal { } } } } is_returned: false } } statements { variable_definition { pattern { binding_pattern { name: "x" type { auto_pattern { } } } } init { call { function { simple_member_access { field: "GetSetX" object { identifier { name: "p" } } } } argument { tuple_literal { fields { int_literal { value: 42 } } } } } } is_returned: false } } statements { if_statement { condition { operator { op: Eq arguments { simple_member_access { field: "x" object { identifier { name: "p" } } } } arguments { int_literal { value: 42 } } } } then_block { statements { return_expression_statement { expression { identifier { name: "x" } } } } } } } statements { return_expression_statement { expression { int_literal { value: 1 } } } } } } } }