06:45
<littledan>
What is the magical/non-coloring version of them working?
07:22
<Mathieu Hofman>
I think they could check whether they are in an unsafe context and only allow access to shared structs in that context. That could later be explained as having both a safe and an unsafe implementation.
07:27
<littledan>
what does it mean to check whether they are in an unsafe context? Does that refer to their immediate caller?
08:03
<Mathieu Hofman>
Good question. I'm not sure I have given it that much thought.