rust non-free-compatible trademark

[Florian Weimer]

* Arthur Cohen:

> Hi Florian,
>
> On Mon, Jul 18, 2022, 20:33 Florian Weimer via Gcc <gcc@gcc.gnu.org> wrote:

>  No.  It would actually make matters worse for GCC in this case because
>  the stated intent is to ship without a borrow checker (“There are no
>  immediate plans for a borrow checker as this is not required to compile
>  rust code”, <https://rust-gcc.github.io/>, retrieved 2022-07-18). 
>
> The website is not up to date and we do have to change that. We do
> have plans for borrow-checking, which revolve around using and
> contributing to the Polonius project.

Ahh, I was wondering about that, but I couldn't find a clear indicator
that Polonius is still being developed in upstream Rust.

Thanks,
Florian