diff options
| author | Ville Penttinen <[email protected]> | 2019-02-27 10:49:04 +0000 |
|---|---|---|
| committer | Ville Penttinen <[email protected]> | 2019-02-27 10:49:04 +0000 |
| commit | 33cebe172459d1ae46556c7808411f1f539aa7cf (patch) | |
| tree | 86c9b76381ad0731878e684fab5a46a983a70dcf /crates/ra_hir/src/ty/op.rs | |
| parent | 4248b39993e2446c66f732ae9e45fb2f564099f5 (diff) | |
Work around for issue in vscode reporting a failure in request
vscode would report "A request has failed" when it got "Content modified"
message and this would cause a pop-up to appear. This works around the issue by
returning an "empty" response that vscode can ignore.
Diffstat (limited to 'crates/ra_hir/src/ty/op.rs')
0 files changed, 0 insertions, 0 deletions