Closed
Description
Sometimes (perhaps when pulling patches, perhaps not), metadata gets out of date and isn't rebuilt automatically. #2318 is just one example. If the build system works properly, ideally it would never be necessary to manually "make clean".
This is confusing for a user since the error message (for example, "nonexhaustive match failure" in #2318) says nothing about how to fix the problem.