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