When running Spoofax with Java assertions enabled (JVM flag -ea), building a fresh Spoofax project yields violated assertions. Specifically, method putAttachment (link) fails when called by method IndexEntryFactory.create(…) (link). It seems the index tries to attach an origin attachment, but the origin attachment has field next set to a parent attachment.

Submitted by Sebastian Erdweg on 11 February 2015 at 14:22