SAL at Microsoft

[Kagamin]

bearophile Wrote:

> _deref/_deref_opt/_opt: In D I have suggested the @ suffix to denote nonnull pointers/references.
> 
> __checkReturn: GCC has a similar annotation, I have suggested something similar for D too.

don't contracts do it already?

> __format_string/__callback: interesting, but I don't understand why they are useful.

format string is effectively a kind of signature, against which arguments can be typechecked.