Searched defs:alloc_extra (Results 1 – 2 of 2) sorted by relevance
276 let alloc_extra = this.get_alloc_extra(alloc_id)?; in tb_reborrow() localVariable542 let alloc_extra = this.get_alloc_extra(alloc_id)?; in tb_expose_tag() localVariable556 let alloc_extra = this.get_alloc_extra(alloc_id)?; in print_tree() localVariable579 let alloc_extra = this.get_alloc_extra(alloc_id)?; in tb_give_pointer_debug_name() localVariable
789 let alloc_extra = this.get_alloc_extra(alloc_id)?; in sb_reborrow() localVariable1040 let alloc_extra = this.get_alloc_extra(alloc_id)?; in sb_expose_tag() localVariable1053 let alloc_extra = this.get_alloc_extra(alloc_id)?; in print_stacks() localVariable