Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Use liftArrayLeftList in setArrayElementType instead of just creating a new array type, to avoid creating nested array types when the element type itself is an array.
- Loading branch information