{"ast_node_type":"variable","tokens":[{"end":35,"kind":"keyword","start":0,"text":"let"}]}
        let goal: Goal<I, G> = goal
            .with(self.cx(), goal.predicate.with_replaced_self_ty(self.cx(), normalized_self_ty));