diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2018-12-22 12:41:17 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2018-12-22 12:41:17 +0100 |
| commit | f93cbf617000673e5ad2fc0fd0eff0c9ea229314 (patch) | |
| tree | 2203ea7ef4dd841e3f60c9e3872f77e1e87584af /src/libstd/sys | |
| parent | 9689ada83891f63164bf117af35cc0abc37daaf1 (diff) | |
| download | rust-f93cbf617000673e5ad2fc0fd0eff0c9ea229314.tar.gz rust-f93cbf617000673e5ad2fc0fd0eff0c9ea229314.zip | |
Short-circuit DefIdForest::intersection()
If the forest is already empty, there is no point in intersecting further. Also handle the first element separately, so we don't compute an unnecessary intersection between the full forest and the first element, which is always equal to the first element.
Diffstat (limited to 'src/libstd/sys')
0 files changed, 0 insertions, 0 deletions