Closed m09 closed 5 years ago
Fix #663. As mentioned during the sync, there were two bugs in our code but also the general invariant "A parent covers its children" is not respected in the js driver (comments can be outside of their parent).
Fix #663. As mentioned during the sync, there were two bugs in our code but also the general invariant "A parent covers its children" is not respected in the js driver (comments can be outside of their parent).