{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"GoalSource::AliasBoundConstCondition,"}]}
                        GoalSource::AliasBoundConstCondition,
                    ecx.add_goals(
                        cx.const_conditions(alias_ty.def_id)