diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2024-01-04 08:49:17 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-04 08:49:17 -0500 |
| commit | 0245ac08d419d462ba7cf9dd4153fcea9a30e843 (patch) | |
| tree | 3ad8455cc2b1a7467ed6b58a0a274b3ae4457ce4 /ext/fs/interface.rs | |
| parent | 7fc6f4902a48a83a341d4384dcce251ffbd06151 (diff) | |
perf(coverage): faster source mapping (#21783)
I did not measure this change (O(n) to O(log n)), but mainly this should
be slightly more accurate at getting the line number.
Diffstat (limited to 'ext/fs/interface.rs')
0 files changed, 0 insertions, 0 deletions