Closed Byron closed 1 year ago
This hopefully reproduces #143.
It seems to be hard to determine if clippy is available or not. But besides that, it's clear that this test doesn't reproduce.
This hopefully reproduces #143.