{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"&Expectation::HasType(self.result.standard_types.bool_.clone()),"}]}
                    &Expectation::HasType(self.result.standard_types.bool_.clone()),
                    condition,
                    ExprIsRead::Yes,