Once prefix matches are optimized (see https://github.com/sourcegraph/sourcegraph/issues/31296), the symbols service could always fall back to that as a fast-path if regex search doesn't return within some timeout less than the 5s timeout from the frontend.
There'd need to be some communication with the UI when that fallback occurs which explains the different semantics.
Once prefix matches are optimized (see https://github.com/sourcegraph/sourcegraph/issues/31296), the
symbols
service could always fall back to that as a fast-path if regex search doesn't return within some timeout less than the 5s timeout from the frontend.There'd need to be some communication with the UI when that fallback occurs which explains the different semantics.
/cc @sourcegraph/search-platform