]> git.lizzy.rs Git - rust.git/commit
rename Allocation::retag -> with_tags_and_extra
authorRalf Jung <post@ralfj.de>
Mon, 16 Sep 2019 09:34:27 +0000 (11:34 +0200)
committerRalf Jung <post@ralfj.de>
Tue, 17 Sep 2019 07:29:06 +0000 (09:29 +0200)
commite8d858ef3c52dcbdc7091e5cd19ecca0c36a0428
tree0aaf1aa6a421e3a7961e2cb6dd63ee1dec7611fc
parent5670d048c0f88af9976b5505c7853b23dd06770d
rename Allocation::retag -> with_tags_and_extra
src/librustc/mir/interpret/allocation.rs