{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"subst.apply(canonical.value,"}]}
        subst.apply(canonical.value, Interner)
        let subst = self.fresh_subst(canonical.binders.as_slice(Interner));
    }