2 A value specified as not carrying a type qualifier annotation is guaranteed
3 to be consumed in a location or locations requiring that the value does
8 More precisely, a value annotated with a type qualifier specifying when=NEVER
9 is guaranteed to reach a use or uses where the same type qualifier specifies when=ALWAYS.