// Annotation on the return value of Character.toString caused
// two annotations from the same hierarchy.
// https://github.com/typetools/checker-framework/issues/1356
public class CharacterToString {
    void m() {
        String s = Character.toString('a');
    }
}
