AnnotationInfo -> ReadThroughAssign