{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":".chain(self_subst.as_ref().map_or(&[][..],"}]}
                .chain(self_subst.as_ref().map_or(&[][..], |s| s.as_slice(Interner)))
                .iter()
                .cloned();