MIME-Version: 1.0
References: <20230119174036.64046-1-wedsonaf@gmail.com> <20230119174036.64046-4-wedsonaf@gmail.com>
 <20230127140319.22af6060.gary@garyguo.net> <CANiq72kXNvQ-GY-uw24s_1NmQ5G12Cu+JfYKFQ0rC-4Fnm8o8Q@mail.gmail.com>
 <CQ3S1YW1TFJ0.KGRDY0XZGSL4@vincent>
In-Reply-To: <CQ3S1YW1TFJ0.KGRDY0XZGSL4@vincent>
From:   Miguel Ojeda <miguel.ojeda.sandonis@gmail.com>
Date:   Mon, 30 Jan 2023 18:21:20 +0100
Message-ID: <CANiq72mk6sdZgz1sXH8f4_uyvyy4KPdE4amK8LPt6DYXTLw6_g@mail.gmail.com>
Subject: Re: [PATCH 4/5] rust: types: implement `ForeignOwnable` for the unit type
To:     Vincenzo Palazzo <vincenzopalazzodev@gmail.com>
Cc:     Gary Guo <gary@garyguo.net>,
        Wedson Almeida Filho <wedsonaf@gmail.com>,
        rust-for-linux@vger.kernel.org, Miguel Ojeda <ojeda@kernel.org>,
        Alex Gaynor <alex.gaynor@gmail.com>,
        Boqun Feng <boqun.feng@gmail.com>,
        =?UTF-8?Q?Bj=C3=B6rn_Roy_Baron?= <bjorn3_gh@protonmail.com>,
        linux-kernel@vger.kernel.org
Content-Type: text/plain; charset="UTF-8"
Precedence: bulk

On Sat, Jan 28, 2023 at 12:13 PM Vincenzo Palazzo
<vincenzopalazzodev@gmail.com> wrote:
>
> From what I remember the feeling was positing into hace `strict_provenance`
>
> Here is the last meeting  that was back in August
> https://rust-lang.zulipchat.com/#narrow/stream/213817-t-lang/topic/Stabilizing.20strict.20provenance.20APIs.3F

Thanks Vincent! Yeah, as far as I understand Gary was in that meeting
(in October).

If there has not been anything after that, then I guess it is still
the case that provenance will probably happen (for better or worse,
depending on the perspective :) and that a subset of the APIs may get
stabilized first.

Cheers,
Miguel