diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-10-30 19:07:29 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-10-30 19:07:29 +0000 |
| commit | dd84b7a24d3c6b30e3c1c32259357278f12d0987 (patch) | |
| tree | e02dc37c3b0852312cddd47581f9888649aa4b47 /crates/hir_ty/src/infer/unify.rs | |
| parent | 590fdba28468d53dcfc498dc863202b924f89ffa (diff) | |
| parent | 3b9548e163ed64d21d56873a4ba3583bf2f44535 (diff) | |
Merge #6416
6416: Respond with JSON-RPC error if we failed to deserialize request r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/infer/unify.rs')
0 files changed, 0 insertions, 0 deletions