diff options
author | kjeremy <[email protected]> | 2020-07-22 20:41:38 +0100 |
---|---|---|
committer | kjeremy <[email protected]> | 2020-07-22 20:41:38 +0100 |
commit | 7eedf19cfa334be06ae2efc6c97d7fff83ccc202 (patch) | |
tree | af048a1c9c32c4a9d6449b6152b5c0e4727cd56d /crates/ra_hir_ty/src/infer/expr.rs | |
parent | 9a9c0e1105a57ccb231c64e1ebd2a200b4426b64 (diff) |
Move deprecated attribute to where it is needed
Diffstat (limited to 'crates/ra_hir_ty/src/infer/expr.rs')
0 files changed, 0 insertions, 0 deletions