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.
