(self, typ: Type)
| 1159 | return meet_types(s, t) |
| 1160 | |
| 1161 | def default(self, typ: Type) -> ProperType: |
| 1162 | if isinstance(typ, UnboundType): |
| 1163 | return AnyType(TypeOfAny.special_form) |
| 1164 | else: |
| 1165 | if state.strict_optional: |
| 1166 | return UninhabitedType() |
| 1167 | else: |
| 1168 | return NoneType() |
| 1169 | |
| 1170 | |
| 1171 | def meet_similar_callables(t: CallableType, s: CallableType) -> CallableType: |
no test coverage detected