504ab2669422c94a716eafe33c6589e3dcaecbd4075a835c2c08200b823690d0d397f4e599856f8b08155044a5659ae5a07ead3b4a5d61911db1facd890223 253 B

12345678910
  1. // Optimize some code when these features are not used.
  2. export let sawReadOnlySpans = false, sawCollapsedSpans = false
  3. export function seeReadOnlySpans() {
  4. sawReadOnlySpans = true
  5. }
  6. export function seeCollapsedSpans() {
  7. sawCollapsedSpans = true
  8. }