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 /docs/user | |
| 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 'docs/user')
0 files changed, 0 insertions, 0 deletions