(self)
| 1149 | self.assert_meet(self.fx.b, self.fx.c, UninhabitedType()) |
| 1150 | |
| 1151 | def test_tuples(self) -> None: |
| 1152 | self.assert_meet(self.tuple(), self.tuple(), self.tuple()) |
| 1153 | self.assert_meet(self.tuple(self.fx.a), self.tuple(self.fx.a), self.tuple(self.fx.a)) |
| 1154 | self.assert_meet( |
| 1155 | self.tuple(self.fx.b, self.fx.c), |
| 1156 | self.tuple(self.fx.a, self.fx.d), |
| 1157 | self.tuple(self.fx.b, UninhabitedType()), |
| 1158 | ) |
| 1159 | |
| 1160 | self.assert_meet( |
| 1161 | self.tuple(self.fx.a, self.fx.a), self.fx.std_tuple, self.tuple(self.fx.a, self.fx.a) |
| 1162 | ) |
| 1163 | self.assert_meet( |
| 1164 | self.tuple(self.fx.a), self.tuple(self.fx.a, self.fx.a), UninhabitedType() |
| 1165 | ) |
| 1166 | |
| 1167 | def test_function_types(self) -> None: |
| 1168 | self.assert_meet( |
nothing calls this directly
no test coverage detected