{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"goal,"}]}
                    goal,
                    CandidateSource::BuiltinImpl(BuiltinImplSource::Object(idx)),
                    assumption.upcast(cx),