Rust: Model [T;n] -> [T] unsized coercion in type inference

Rust: Model [T;n] -> [T] unsized coercion in type inference #10771