diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-29 21:39:36 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-03-29 21:39:36 +0100 |
commit | b3ca06e4fd8fe3a3ab081c55ecaa1ec3e79fe18d (patch) | |
tree | 127b4ce4b52e53d15b83727d3bf96c3a875c809f /editors/code | |
parent | 9bae3ecdffed957b50bb35e6e6a84e8d6b410032 (diff) | |
parent | b35312d4af305e86e360235150cddc263d4adc4a (diff) |
Merge #8247
8247: internal: ensure that runaway type-inference doesn't block the main loop r=flodiebold a=matklad
We have a bug where type-checking `per_query_memory_usage` takes a
couple of seconds. It also reveals another bug: our type inference is
not cancellable.
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code')
0 files changed, 0 insertions, 0 deletions