Assuming I have a struct Orange(*mut u8) the *mut makes it invariant with respect to u8, is there any way this type would behave differently than struct Apple(*const u8).

[image] Voultapher: Assuming I have a struct Orange(*mut u8) the *mut makes it invariant Variance is a property of "type constructors". It tells us something about: "How does Type<T> react when T changes?". I.e variance is something we bring up when talking about that Type<_> as a general thi…

Can *mut u8 being invariant be observed?

Yandros May 22, 2021, 12:23pm 11

‎

Topic		Replies	Views
What does "*mut T is invariant over T" mean?	3	908	January 12, 2023
Question about invariance for &mut T help	6	1566	May 2, 2022
Question about rustc aliasing analysis	5	551	January 6, 2023
Variance subtyping and understanding const vs mut pointers	6	1020	July 7, 2021
Why are lifetimes a problem only when you take a reference to a mutable reference? help	5	410	March 16, 2024

Can *mut u8 being invariant be observed?

Related topics