| 962 | } |
| 963 | |
| 964 | void CheckPromoteTo( |
| 965 | const std::shared_ptr<Field>& field1, const std::shared_ptr<Field>& field2, |
| 966 | const std::shared_ptr<Field>& expected, |
| 967 | const Field::MergeOptions& options = Field::MergeOptions::Defaults()) { |
| 968 | CheckUnifyAsymmetric(field1, field2, expected, options); |
| 969 | CheckUnifyAsymmetric(field2, field1, expected, options); |
| 970 | } |
| 971 | |
| 972 | void CheckUnifyFailsInvalid( |
| 973 | const std::shared_ptr<Field>& field1, const std::shared_ptr<Field>& field2, |