Searched defs:replace_var (Results 1 – 1 of 1) sorted by relevance
1001 let replace_var = self.mapped_regions.get(&p); in fold_region() localVariable1028 let replace_var = self.mapped_types.get(&p); in fold_ty() localVariable1052 let replace_var = self.mapped_consts.get(&p); in fold_const() localVariable