c.s.t.javac.code.TypeAnnotationPosition.getTypePathFromBinary/fromBinary use Assert.check (and Assert.error) - that is not completely appropriate, as these methods are processing data that are read from an external source (classfile), while the Assert.check is usually used to assert javac internal invariants. It would be better if these would use ClassReader.badClassFile to mark the classfile as bad.