Bad compiler diagnostic generated when poly expression is passed to non-existent method

In some cases, deferred types are not formatted correctly in a method resolution diagnostic - this leads to strings like '<none>' being used in place of a more rich description of the poly expression.