Closed
Description
Hello @nikomatsakis
As you suggested, we should move traits/error_reporting.rs to a separate file.
This issue is created to serve as a reminder.
Hello @nikomatsakis
As you suggested, we should move traits/error_reporting.rs to a separate file.
This issue is created to serve as a reminder.