{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"single(subst_ty)"}]}
                        single(subst_ty)
                        let subst_ty = substs.at(Interner, 0).assert_ty_ref(Interner).clone();
                    } else {