framework/tests/value/CharArrayWithNonLiteralConstants.java

import org.checkerframework.common.value.qual.IntVal;
import org.checkerframework.common.value.qual.StringVal;

public class CharArrayWithNonLiteralConstants {

  public static void main(String[] args) {
    char @StringVal("hello") [] greeting1 = {'h', 'e', 'l', 'l', 'o'};
    @IntVal('e') char e = 'e';
    char @StringVal("hello") [] greeting2 = {'h', e, 'l', 'l', 'o'};
  }
}