scala/scala — comment on commit 82c793a438c7bd802daf96c8b2012f54fbd737ba
File:  line 0
By magarciaEPFL:

It's likely both problems are related (LazyAnnotationInfo's position and atp), although I had noticed an AssertionError on accessing atp only.

Regarding test cases, -Ycheck may be the best way to check this kind of tree properties.