From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <cohenarthur.dev@gmail.com>
Received: from mail-ed1-x52a.google.com (mail-ed1-x52a.google.com
 [IPv6:2a00:1450:4864:20::52a])
 by sourceware.org (Postfix) with ESMTPS id D01953858284
 for <gcc@gcc.gnu.org>; Mon, 18 Jul 2022 18:43:42 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org D01953858284
Received: by mail-ed1-x52a.google.com with SMTP id g1so16529786edb.12
 for <gcc@gcc.gnu.org>; Mon, 18 Jul 2022 11:43:42 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20210112;
 h=x-gm-message-state:mime-version:references:in-reply-to:from:date
 :message-id:subject:to:cc;
 bh=ILJE9RToBOFbi4UAgFDmh2x/XbJvngvE4v2I72aj/e0=;
 b=nmnonbaj239zFVEsYnCEHeZzfPgukfE+Ninhx1OJZz8AIUv1BUrWVhmeNB0KVttaw1
 OYeSsjBnTQkCfFAyv00//DoLw/mGBqCxlI5TlYgXXZLo47h82yIWhpmYyRgGVJ31F3kX
 rvmQASjxCOQ9JmdVgOFJ2CFqTfwWLsnoOefuSFO4ktLFNthU6PPNTydg77ynHZos1UWC
 osOGzePOzvkFlbRUrzpvQEVIJICsHXFjKTFnaQ3EDtoJa2m6BGoG/bQ8CpPxCOQE2OZX
 pa9FOv5xLHyG35IzEUODFEBZ7LYBYjRwGBTQBmfg1A1raIfBZrYG/J0rAIoasevG+kvp
 D8MA==
X-Gm-Message-State: AJIora80dZsNk9Zrbo0s4reNnBZDD0hyaqfk6aRUCOGS9MTWlBIENxSl
 AyYXsRlgfHRZmgsSdVMqvtG88rWgO57NKynP0A==
X-Google-Smtp-Source: AGRyM1uJyjVcObvk0buXaftuJigMbvH/kYS4j5LaYy5qfNvCyLIZwZzTuy30PTg2AFVfkFfV7arqVGTtls8Wq0HFj3o=
X-Received: by 2002:a05:6402:3593:b0:43a:a259:2518 with SMTP id
 y19-20020a056402359300b0043aa2592518mr39048551edc.117.1658169821263; Mon, 18
 Jul 2022 11:43:41 -0700 (PDT)
MIME-Version: 1.0
References: <CAPweEDxwqufkAcaWmQa_0Pcm-KQ9cr+XfyqyeMXtcVg1Gt6YuA@mail.gmail.com>
 <CAPweEDwN_qzA1Ehpqqw5-Vwxr8G5ajY1N4ESt=UFGTK4gDBJ=A@mail.gmail.com>
 <87wncaw9ty.fsf@oldenburg.str.redhat.com>
In-Reply-To: <87wncaw9ty.fsf@oldenburg.str.redhat.com>
From: Arthur Cohen <cohenarthur.dev@gmail.com>
Date: Mon, 18 Jul 2022 20:43:31 +0200
Message-ID: <CAKNo5AQYxHSdZ+j-xO67qU8yVM6_Z5ZZUhqFeKj77OSJ7a-eng@mail.gmail.com>
Subject: Re: rust non-free-compatible trademark
To: Florian Weimer <fweimer@redhat.com>
Cc: lkcl via Gcc <gcc@gcc.gnu.org>, lkcl <luke.leighton@gmail.com>
X-Spam-Status: No, score=-0.5 required=5.0 tests=BAYES_00, DKIM_SIGNED,
 DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, HTML_MESSAGE,
 RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS,
 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
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Content-Filtered-By: Mailman/MimeDel 2.1.29
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: Mon, 18 Jul 2022 18:43:44 -0000

Hi Florian,

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

> * lkcl via Gcc:
>
> > if the Rust Foundation were to add an extremely simple phrase
> >
> >    "to be able to use the word rust in a distributed compiler your
> >     modifications must 100% pass the test suite without modifying
> >     the test suite"
> >
> > then all the problems and pain goes away.
>
> 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 are=
 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).


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.

There
> are of course tests for the borrow checker in the Rust test suite, and
> those that check for expected compiler errors will fail with GCC.
>
> Thanks,
> Florian


Thanks,

--=20
Arthur Cohen