Module `DereferenceRule.ProvisionalViolation`

Violation that will occur if the provisional annotation becomes real @Nullable

val offending_annotations : t -> ProvisionalAnnotation.t list: Non-empty list of corresponding provisional annotations (adding any of those will lead to an issue)

val from : violation -> t option: If the violation is provisional (so is not real but will become real when the annotation is added), create it.