diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-06 16:11:26 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-06 16:11:26 +0100 |
commit | e99447ffbf77b17674dc047e5a9f5aff9480ed1c (patch) | |
tree | ae530ff821ea5345b07bba8cf2ff179f302f8b10 /crates/ra_hir_ty/src/infer/path.rs | |
parent | 1252107a3c7964ac2e5e7726173b56bb4dfbe621 (diff) | |
parent | 7c94fa7d01f264e5268ab5f57519f071c00a6579 (diff) |
Merge #4347
4347: Fix usefulness check for never type r=flodiebold a=MikailBag
Co-authored-by: Mikail Bagishov <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/infer/path.rs')
0 files changed, 0 insertions, 0 deletions