diff options
author | Aleksey Kladov <[email protected]> | 2020-07-24 15:28:07 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2020-07-24 19:05:16 +0100 |
commit | de714640bd744b194d1b4c918a6f44d3cba02339 (patch) | |
tree | 4436429949a9d36aa84c8333a3445135b8a41f6a /crates/ra_hir_ty/src/infer/unify.rs | |
parent | 14a3a713c74108626fe356dad21d93b84792878a (diff) |
Add metrics
Diffstat (limited to 'crates/ra_hir_ty/src/infer/unify.rs')
0 files changed, 0 insertions, 0 deletions