Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | reifier is now aware of SI-7235 | Eugene Burmako | 2013-03-09 | 1 | -0/+14 |
SI-7235 is caused by a long-standing todo in typedRefinement, which leads to originals of compound type trees swallowing their stats. I'm not sure how exactly to fix SI-7235, but what I am sure about is that we shouldn't silently discard stats during reification. This patch introduces a new implementation restrictions, which now reports that reify of compound type trees with non-empty stats isn't going to work. |