Merge pull request #5 from Rust-GCC/fix-borrowck-bit

index: Fix section about borrow-checking

Author: CohenArthur

index.md

@@ -4,8 +4,7 @@ This is a full alternative implementation of the Rust language on top of GCC wit
 
 As this is a front-end project, the compiler will gain full access to all of GCC's internal middle-end optimization passes which are distinct from LLVM. For example, users of this compiler can expect to use the familiar -O2 flags to tune GCC’s optimizer. Going forward, we will be happy to see more LLVM vs GCC graphs in respect to compilation speed, resulting code size and performance. 
 
-
-The project is still in an early phase with the goal to compile the official Rust test suite. There are no immediate plans for a borrow checker as this is not required to compile rust code and is the last pass in the RustC compiler. This can be handled as a sperate project when we get to that point.
+The project is still in an early phase with the goal to compile the offical Rust test suite. While there is no borrow-checker included with the compiler yet, we plan to integrate with the [`polonius`](https://github.com/rust-lang/polonius) effort and leverage its borrow-checking algorithms. 
 
 You can find compiler status reports over on: [https://github.com/Rust-GCC/Reporting](https://github.com/Rust-GCC/Reporting) and [https://thephilbert.io/](https://thephilbert.io/)