Unhelpful error for different impl method signature vs trait

[jdm]

error: method new_object has an incompatible type: () vs enum core::result::result

It took me a while to figure out that this was talking about the expected return type from the trait versus what the impl method was declaring. We should work the words trait and impl into that error somehow.

[catamorphism]

Closing, I think this is fixed, but if it's not, please reopen with the specific code example causing the error.