[index] Reuse incremental global index planning#8407

Merged

JingsongLi merged 4 commits into

Jul 1, 2026

Annotations

10 warnings

match may not be exhaustive.

A try without a catch or finally is equivalent to putting its body in a block; no exceptions are handled.

A try without a catch or finally is equivalent to putting its body in a block; no exceptions are handled.

A try without a catch or finally is equivalent to putting its body in a block; no exceptions are handled.

A try without a catch or finally is equivalent to putting its body in a block; no exceptions are handled.

match may not be exhaustive.

match may not be exhaustive.

match may not be exhaustive.

match may not be exhaustive.

Exhaustivity analysis reached max recursion depth, not all missing cases are reported.