rgrig/barista — comment on commit 95f1e2d32579f9f0dad6a5f0228784f3de4b15b5
File: src/classfile/highClass.ml line 2376
By rgrig:

Aha! So it's wrong.