We have updated the project list for this year's GSoC: gcc.gnu.org/wiki/SummerOfC… They concern our borrow-checking integration, inline assembly, adapting the rustc testsuite and starting to explore the semantic differences between rustc and gccrs. 1/7
The first project is specifically for adding better errors to our borrow-checking intermediate representation, which helps us generate facts for the polonius borrow-checker. This work was done by Jakub Dupak as part of his Master's thesis. 2/7
Adding support for inline assembly will require modifying multiple parts of the compiler in order to parse inline assembly strings, propagate them throughout our internal representations, and finally compile them to the expected GCC inline assembly syntax. 3/7