(self)
| 115 | ) |
| 116 | |
| 117 | def test_poly_no_constraints(self) -> None: |
| 118 | self.assert_solve( |
| 119 | [self.fx.t, self.fx.u], |
| 120 | [], |
| 121 | [self.fx.a_uninhabited, self.fx.a_uninhabited], |
| 122 | allow_polymorphic=True, |
| 123 | ) |
| 124 | |
| 125 | def test_poly_trivial_free(self) -> None: |
| 126 | self.assert_solve( |
nothing calls this directly
no test coverage detected