{"ast_node_type":"other","tokens":[{"end":101,"kind":"keyword","start":0,"text":"//"}]}
                        // `steps` layers of boxes, not just one, but this is easier and most likely.
                        // FIXME(compiler-errors): We can actually do this if the checked_ty is
                        || (checked_ty.is_box() && steps == 1)