Concatenate two fixed length tuples.
(self, left: TupleType, right: TupleType)
| 3522 | return typ.copy_modified(last_known_value=LiteralType(value=value, fallback=typ)) |
| 3523 | |
| 3524 | def concat_tuples(self, left: TupleType, right: TupleType) -> TupleType: |
| 3525 | """Concatenate two fixed length tuples.""" |
| 3526 | assert not (find_unpack_in_list(left.items) and find_unpack_in_list(right.items)) |
| 3527 | return TupleType( |
| 3528 | items=left.items + right.items, fallback=self.named_type("builtins.tuple") |
| 3529 | ) |
| 3530 | |
| 3531 | def visit_int_expr(self, e: IntExpr) -> Type: |
| 3532 | """Type check an integer literal (trivial).""" |
no test coverage detected