(self)
| 64 | ) |
| 65 | |
| 66 | def test_no_constraints_for_var(self) -> None: |
| 67 | self.assert_solve([self.fx.t], [], [self.fx.a_uninhabited]) |
| 68 | self.assert_solve( |
| 69 | [self.fx.t, self.fx.s], [], [self.fx.a_uninhabited, self.fx.a_uninhabited] |
| 70 | ) |
| 71 | self.assert_solve( |
| 72 | [self.fx.t, self.fx.s], |
| 73 | [self.supc(self.fx.s, self.fx.a)], |
| 74 | [self.fx.a_uninhabited, self.fx.a], |
| 75 | ) |
| 76 | |
| 77 | def test_simple_constraints_with_dynamic_type(self) -> None: |
| 78 | self.assert_solve([self.fx.t], [self.supc(self.fx.t, self.fx.anyt)], [self.fx.anyt]) |
nothing calls this directly
no test coverage detected