{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"Box::new([0]),"}]}
                        Box::new([0]),
                        place,
                        TyBuilder::bool(),