2 A value is used in a way that requires it to be always 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 required to have that type qualifier.
4 Either the usage or the annotation is incorrect.