{"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":")"}]}
        ) {
            ty::UnevaluatedConst::new(goal.predicate.alias.def_id, goal.predicate.alias.args),
            self.instantiate_normalizes_to_term(goal, normalized_const.into());