{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"self.fcx.tcx.normalize_erasing_regions("}]}
                            self.fcx.tcx.normalize_erasing_regions(
                        } else {
                                self.fcx.typing_env(self.fcx.param_env),