{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"writeln!(f,"}]}
                writeln!(f, "Provided args: [")?;
                )?;
                for g in subst.iter(Interner) {