## Summary This PR fixes a panic which can occur in an unpack assignment when: * (number of target expressions) - (number of tuple types) > 2 * There's a starred expression The reason being that the `insert` panics because the index is greater than the length. This is an error case and so practically it should occur very rarely. The solution is to resize the types vector to match the number of expressions and then insert the starred expression type. ## Test Plan Add a new test case.
Markdown files within the mdtest/ subdirectory are tests of type inference and type checking;
executed by the tests/mdtest.rs integration test.
See crates/red_knot_test/README.md for documentation of this test format.