| gen_box_pat.rs:6:9:6:27 | box ... | hasPat: | yes |
| gen_box_pat.rs:7:9:7:24 | box ...::None | hasPat: | yes |