{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//"}]}
                // `box _` syntax unless `deref_patterns` is enabled.
                // To avoid changing diagnostics before deref pattern syntax is finalized, let's use
                format!("box {}", print(&pat.fields[0]))