(self, s: Type, t: Type, join: Type)
| 1099 | # TODO: Function types + varargs and default args. |
| 1100 | |
| 1101 | def assert_join(self, s: Type, t: Type, join: Type) -> None: |
| 1102 | self.assert_simple_join(s, t, join) |
| 1103 | self.assert_simple_join(t, s, join) |
| 1104 | |
| 1105 | def assert_simple_join(self, s: Type, t: Type, join: Type) -> None: |
| 1106 | result = join_types(s, t) |
no test coverage detected