An inclusive pair of positions for a check annotation.
end : CheckAnnotationPosition!
start : CheckAnnotationPosition!