You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This means some of the API surface of Talc is genuinely problematic, particularly the From implementations on Span for &[T] and &[T; N]. Not UB in itself (and technically Talc's docs on unsafety cover this), but it makes UB needlessly easy to invoke.
Here, the .into() is doing the legwork in hiding the issue as per the above. MIRI indeed takes issue with it.
Dereferencing
&x as *const _ as *mut _
is UB.This means some of the API surface of Talc is genuinely problematic, particularly the
From
implementations on Span for&[T]
and&[T; N]
. Not UB in itself (and technicallyTalc
's docs on unsafety cover this), but it makes UB needlessly easy to invoke.Here, the .into() is doing the legwork in hiding the issue as per the above. MIRI indeed takes issue with it.
These
From
implementations should be removed. This is a breaking change though and will necessitate a major version bump.The text was updated successfully, but these errors were encountered: