(self, *a: Type)
| 1111 | assert is_subtype(t, result), f"{t} not subtype of {result}" |
| 1112 | |
| 1113 | def tuple(self, *a: Type) -> TupleType: |
| 1114 | return TupleType(list(a), self.fx.std_tuple) |
| 1115 | |
| 1116 | def var_tuple(self, t: Type) -> Instance: |
| 1117 | """Construct a variable-length tuple type""" |
no test coverage detected