(self, s: Type, t: Type, meet: Type)
| 1372 | ) |
| 1373 | |
| 1374 | def assert_meet(self, s: Type, t: Type, meet: Type) -> None: |
| 1375 | self.assert_simple_meet(s, t, meet) |
| 1376 | self.assert_simple_meet(t, s, meet) |
| 1377 | |
| 1378 | def assert_simple_meet(self, s: Type, t: Type, meet: Type) -> None: |
| 1379 | result = meet_types(s, t) |
no test coverage detected