diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-06-27 06:49:05 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2018-06-27 06:49:20 -0400 |
| commit | e6c8c632b73962184e5cc33106e54de95dcec8ae (patch) | |
| tree | 89d5ce779fe128021c1050518ca49c00920dfaff /src/test/incremental/thinlto | |
| parent | ac40d73c6ff360fa260f842bf66c848c0ec81eec (diff) | |
| download | rust-e6c8c632b73962184e5cc33106e54de95dcec8ae.tar.gz rust-e6c8c632b73962184e5cc33106e54de95dcec8ae.zip | |
use query boilerplate for prove-predicate -- slightly inefficient
This requires us to allocate a single entry vector we didn't use to allocate. I doubt this makes a difference in practice, as this only occurs for cache misses.
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions