Type can still be inferred when one of the conjuncts in an otherwise valid solution is invalid.