(self, s: Type, t: Type)
| 288 | # * generic function types |
| 289 | |
| 290 | def assert_subtype(self, s: Type, t: Type) -> None: |
| 291 | assert is_subtype(s, t), f"{s} not subtype of {t}" |
| 292 | |
| 293 | def assert_not_subtype(self, s: Type, t: Type) -> None: |
| 294 | assert not is_subtype(s, t), f"{s} subtype of {t}" |
no test coverage detected