(self)
| 132 | ) |
| 133 | |
| 134 | def test_poly_free_pair(self) -> None: |
| 135 | self.assert_solve( |
| 136 | [self.fx.t, self.fx.u], |
| 137 | [self.subc(self.fx.t, self.fx.u)], |
| 138 | [self.fx.t, self.fx.t], |
| 139 | [self.fx.t], |
| 140 | allow_polymorphic=True, |
| 141 | ) |
| 142 | |
| 143 | def test_poly_free_pair_with_bounds(self) -> None: |
| 144 | t_prime = self.fx.t.copy_modified(upper_bound=self.fx.b) |
nothing calls this directly
no test coverage detected