Consider unfulfilled obligations in binop errors#89323

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

estebank:derive-binopestebank/rust:derive-binopCopy head branch name to clipboard