| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2020-12-18 | Keep all witnesses of non-exhaustiveness | Nadrieril | -1/+1 |
| 2020-12-18 | Add tests | Nadrieril | -4/+4 |
| 2020-11-19 | Regroup many usefulness-related test in the same folder | Nadrieril | -0/+17 |
![]() |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |
| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2020-12-18 | Keep all witnesses of non-exhaustiveness | Nadrieril | -1/+1 |
| 2020-12-18 | Add tests | Nadrieril | -4/+4 |
| 2020-11-19 | Regroup many usefulness-related test in the same folder | Nadrieril | -0/+17 |