2 A value is used in a way that requires it to be never be a value denoted by a type qualifier, but
3 there is an explicit annotation stating that it is not known where the value is prohibited from having that type qualifier.
4 Either the usage or the annotation is incorrect.