{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"});"}]}
                });
                    bx.tcx.normalize_erasing_regions(bx.typing_env(), ty)
                require!(