]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #1974 - RalfJung:const, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 12 Feb 2022 11:19:37 +0000 (11:19 +0000)
committerbors <bors@rust-lang.org>
Sat, 12 Feb 2022 11:19:37 +0000 (11:19 +0000)
implement const_deallocate as a NOP


Trivial merge