{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"responses.extend(self.consider_builtin_upcast_to_principal("}]}
            responses.extend(self.consider_builtin_upcast_to_principal(
        if a_data.principal_def_id() == b_principal_def_id || b_principal_def_id.is_none() {
                goal,