Simplification of @trusted
Ola Fosheim Grøstad
ola.fosheim.grostad at gmail.com
Thu Jun 17 18:46:09 UTC 2021
On Thursday, 17 June 2021 at 18:40:15 UTC, ag0aep6g wrote:
> If you make `size` @trusted, `get` still does not have a safe
> interface and cannot be @trusted.
What about it isn't safe? It is provably safe? Meaning, I can do
a formal verification of it as being safe!?
If this isn't safe then it becomes impossible to write @safe
wrappers for C data structures.
More information about the Digitalmars-d
mailing list