(self, s: Type, t: Type)
| 1156 | assert False, f"This should be never called, got {t}" |
| 1157 | |
| 1158 | def meet(self, s: Type, t: Type) -> ProperType: |
| 1159 | return meet_types(s, t) |
| 1160 | |
| 1161 | def default(self, typ: Type) -> ProperType: |
| 1162 | if isinstance(typ, UnboundType): |
no test coverage detected