You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.