This is a minor point, but the semantics of ResolveMaybe is currently undefined in the documentation. If neither constraint contains the variable to be resolved over, then we should define what the result is. The easiest solution would be to simply return the first operand.
This is a minor point, but the semantics of ResolveMaybe is currently undefined in the documentation. If neither constraint contains the variable to be resolved over, then we should define what the result is. The easiest solution would be to simply return the first operand.
Alternatively disable rule.