{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"self.fill_subst(&mut"}]}
                            self.fill_subst(&mut subst)?;
                            let mut subst = subst.clone();
                            *c = intern_const_scalar(