checker/tests/signature/SignatureConcatenation.java

import org.checkerframework.checker.signature.qual.*;

public class SignatureConcatenation {

  @ClassGetSimpleName String m(@ClassGetSimpleName String arg1, @ClassGetSimpleName String arg2) {
    // :: error: (return)
    return arg1 + arg2;
  }
}