@Target(ElementType.PARAMETER)
@interface DevAnnotation{ String value(); }  record 

R(@DevAnnotation(���devA���) String s) {     // Error!
      R(@DevAnnotation(���devB���) String s) {
          // Explicitly declared canonical constructor
          ...
      }
  }

or 

R(@DevAnnotation(���devA���) String s) {     // Error!
      R(String s) {
          // Explicitly declared canonical constructor
          ...
      }
  }

this one should be erroneous too:
R(@DevAnnotation(���devA���) String s) { // Error!
      R(@DevAnnotation(���devA���) String s) {
          // Explicitly declared canonical constructor
          ...
      }
  }