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