]> git.lizzy.rs Git - rust.git/commit
Auto merge of #2546 - RalfJung:comments, r=RalfJung
authorbors <bors@rust-lang.org>
Sun, 18 Sep 2022 12:07:56 +0000 (12:07 +0000)
committerbors <bors@rust-lang.org>
Sun, 18 Sep 2022 12:07:56 +0000 (12:07 +0000)
commitfd05ff5290afb19e9c79984e3802dca1cb2800f3
tree2fb9a19decf90aca067ba3765c2748091eea8def
parentbb3bac0373b44e77252ee92dda77ff76c7094f03
parent7fdd924ce49fd35e6d1b56fa43ede8b7975ad49c
Auto merge of #2546 - RalfJung:comments, r=RalfJung

add/fix some comments
src/eval.rs