projects / rust.git / commit
| author | Eduardo Broto <ebroto@tutanota.com> | |
| Fri, 1 May 2020 20:37:14 +0000 (22:37 +0200) | ||
| committer | Eduardo Broto <ebroto@tutanota.com> | |
| Fri, 1 May 2020 20:37:14 +0000 (22:37 +0200) | ||
| commit | 42b0b4754c881101cefb0307c489d6159c19b2f3 | |
| tree | 50c28d32fba31a1afcdc94c185ee89237f320743 | tree | snapshot |
| parent | f072ded3bf6286668ff8eade5b58e471dbe66f2a | commit | diff |
| clippy_lints/src/manual_non_exhaustive.rs | diff | blob | history | |
| tests/ui/manual_non_exhaustive.rs | diff | blob | history | |
| tests/ui/manual_non_exhaustive.stderr | diff | blob | history |