Open atzannes opened 11 years ago
e.g., an error now may say "writes effect on R not covered by summary" meaning Namespace::R was not covered when in fact the effect summary covers writes R where R is a different region at global scope.
e.g., an error now may say "writes effect on R not covered by summary" meaning Namespace::R was not covered when in fact the effect summary covers writes R where R is a different region at global scope.