On 7/9/2014 1:42 PM, bearophile wrote: > Is it possible & useful & good to put something like a "@not_null_references:" > (or a similar pragma) at the top of a module? How are differently defaulting > modules going to interact with each other? Exactly. I'm not seeing how this can work that well.