Give the inferred type when warning of a missing type-signature (Trac #1256)