Goal Testcase

There is a rust project here: https://github.com/BLAKE3-team/BLAKE3/blob/master/reference_impl/reference_impl.rs

Which is a nice simple test case of rust which does not require much of the stdlib and no macros or attributes. This seems to be achievable when we complete the Control Flow 2 milestone.

There are likely many bugs to find along the way with this one. Thanks to Mark Wieelard pointing this out.

We will keep track of the missing features or bugs via this checklist:

• array constant folding https://github.com/Rust-GCC/gccrs/issues/681
• references within method receivers https://github.com/Rust-GCC/gccrs/issues/241
• core::cmp::min support requires the Cmp traits which will require operator overloading https://github.com/Rust-GCC/gccrs/issues/249
• core::convert::TryInto requires the AutoTrait of Sized to be implemented see https://github.com/rust-lang/rust/blob/master/library/core/src/convert/mod.rs#L390-L398 https://github.com/Rust-GCC/gccrs/issues/776
• https://github.com/Rust-GCC/gccrs/issues/749
• https://github.com/Rust-GCC/gccrs/issues/746
• https://github.com/Rust-GCC/gccrs/issues/744
• https://github.com/Rust-GCC/gccrs/issues/743
• https://github.com/Rust-GCC/gccrs/issues/741
• https://github.com/Rust-GCC/gccrs/issues/739
• https://github.com/Rust-GCC/gccrs/issues/681
• https://github.com/Rust-GCC/gccrs/issues/700
• https://github.com/Rust-GCC/gccrs/issues/531
• https://github.com/Rust-GCC/gccrs/issues/79
• https://github.com/Rust-GCC/gccrs/issues/753
• https://github.com/Rust-GCC/gccrs/issues/755
• #442
• #190
• #249
• #711
• #786
• #773
• https://github.com/Rust-GCC/gccrs/issues/249
• https://github.com/Rust-GCC/gccrs/issues/804
• https://github.com/Rust-GCC/gccrs/issues/809
• https://github.com/Rust-GCC/gccrs/issues/808
• #815
• #848
• #847
• #845
• #849
• #851
• #853
• #557
• #858
• #1274
• #1273
• #1271
• #1237
• #1235
• #1234
• #1232
• #1226
• #1196
• #1173
• #1165
• #1146
• #1133
• #1034
• #869
• #1270

Start with the Rust reference implementation at reference_impl/reference_impl.rs and review the linked gccrs checklist for the remaining or previously required language features. Determine whether the project can compile and support this testcase; completion is indicated by the testcase working with the required checklist items addressed.