It's not correct to drop a constraint if one of the two types structurally contains generic parameters at the method depth.