On 10/28/25 3:32 PM, Alexandre Courbot wrote: > On Wed Oct 29, 2025 at 2:18 AM JST, John Hubbard wrote: >> On 10/28/25 7:44 AM, Alexandre Courbot wrote: >>> On Tue Oct 28, 2025 at 3:46 AM JST, John Hubbard wrote: >>>> On 10/26/25 9:44 AM, Miguel Ojeda wrote: >>>>> On Sun, Oct 26, 2025 at 3:40 PM Alexandre Courbot <[email protected]> >>>>> wrote: >>>> ... ... > I think we have reached the stage where any responsible adult would > shove this whole discussion into a LLM and see what it comes up with. > > And the candidate is... `FromSafeCast`/`IntoSafeCast`. Which I have to > say sounds like a good middle ground? :) The intent is definitely to > perform a safe cast here.
Ship it! :) thanks, -- John Hubbard
