From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <fweimer@redhat.com>
Received: from us-smtp-delivery-124.mimecast.com
 (us-smtp-delivery-124.mimecast.com [170.10.133.124])
 by sourceware.org (Postfix) with ESMTPS id 20E143858285
 for <gcc@gcc.gnu.org>; Tue, 19 Jul 2022 09:44:06 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 20E143858285
Received: from mimecast-mx02.redhat.com (mx3-rdu2.redhat.com
 [66.187.233.73]) by relay.mimecast.com with ESMTP with STARTTLS
 (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id
 us-mta-270-dIBBGthzOPO3vKNna1zNyA-1; Tue, 19 Jul 2022 05:44:02 -0400
X-MC-Unique: dIBBGthzOPO3vKNna1zNyA-1
Received: from smtp.corp.redhat.com (int-mx08.intmail.prod.int.rdu2.redhat.com
 [10.11.54.8])
 (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by mimecast-mx02.redhat.com (Postfix) with ESMTPS id 06DA73801147;
 Tue, 19 Jul 2022 09:44:02 +0000 (UTC)
Received: from oldenburg.str.redhat.com (unknown [10.39.192.173])
 by smtp.corp.redhat.com (Postfix) with ESMTPS id 4C3DFC2811A;
 Tue, 19 Jul 2022 09:44:01 +0000 (UTC)
From: Florian Weimer <fweimer@redhat.com>
To: Arthur Cohen <cohenarthur.dev@gmail.com>
Cc: gcc@gcc.gnu.org
Subject: Re: rust non-free-compatible trademark
References: <CAPweEDxwqufkAcaWmQa_0Pcm-KQ9cr+XfyqyeMXtcVg1Gt6YuA@mail.gmail.com>
 <CAPweEDwN_qzA1Ehpqqw5-Vwxr8G5ajY1N4ESt=UFGTK4gDBJ=A@mail.gmail.com>
 <87wncaw9ty.fsf@oldenburg.str.redhat.com>
 <CAKNo5AQYxHSdZ+j-xO67qU8yVM6_Z5ZZUhqFeKj77OSJ7a-eng@mail.gmail.com>
Date: Tue, 19 Jul 2022 11:43:59 +0200
In-Reply-To: <CAKNo5AQYxHSdZ+j-xO67qU8yVM6_Z5ZZUhqFeKj77OSJ7a-eng@mail.gmail.com>
 (Arthur Cohen's message of "Mon, 18 Jul 2022 20:43:31 +0200")
Message-ID: <87tu7d8mjk.fsf@oldenburg.str.redhat.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
MIME-Version: 1.0
X-Scanned-By: MIMEDefang 2.85 on 10.11.54.8
X-Mimecast-Spam-Score: 0
X-Mimecast-Originator: redhat.com
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Status: No, score=-5.5 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH,
 DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, RCVD_IN_DNSWL_NONE,
 SPF_HELO_NONE, SPF_NONE, TXREP autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
 server2.sourceware.org
X-BeenThere: gcc@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc mailing list <gcc.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <mailto:gcc-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Tue, 19 Jul 2022 09:44:07 -0000

* Arthur Cohen:

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

>  No.  It would actually make matters worse for GCC in this case because
>  the stated intent is to ship without a borrow checker (=E2=80=9CThere ar=
e no
>  immediate plans for a borrow checker as this is not required to compile
>  rust code=E2=80=9D, <https://rust-gcc.github.io/>, retrieved 2022-07-18)=
.=20
>
> 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