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.
