flux-rs/flux

AI Summary: The task is to modify the Flux refinement type checker for Rust to handle repeated array assignments more leniently. Currently, Flux rejects valid assignments to repeated arrays due to a conservative type checking approach in the `Repeat` Rvalue handling. The solution involves weakening the type inference for repeated arrays to allow assignments like `buf[0] = b'1'` in the example provided, where `buf` is a repeated array.