diff options
| author | ljedrz <ljedrz@gmail.com> | 2018-07-12 15:41:24 +0200 |
|---|---|---|
| committer | ljedrz <ljedrz@gmail.com> | 2018-07-14 07:31:19 +0200 |
| commit | 384d04d31d35ef80324645d06e1afcf3ad48f4ed (patch) | |
| tree | a5713d23376be716f80a92549c30e5308f786810 /src/rustllvm/RustWrapper.cpp | |
| parent | d334027c58060449cc45b8e5cc37dd51ca077d30 (diff) | |
| download | rust-384d04d31d35ef80324645d06e1afcf3ad48f4ed.tar.gz rust-384d04d31d35ef80324645d06e1afcf3ad48f4ed.zip | |
Reduce the number of clone()s needed in obligation_forest
Some can be avoided by using remove_entry instead of remove.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions