Provide either a span pointing to the original definition of missing
trait items, or a message with the inferred definitions.