Pattern.pattern() not return @Regex String

[Marat-Tim]

I have such code

import java.util.regex.Pattern;

public class Main {
    public static void main(String[] args) {
        Pattern abc = Pattern.compile("abc");
        String str = abc.pattern();
        System.out.println("abc".replaceAll(str, ""));
    }
}

And such checker framework config

plugins {
    id("org.checkerframework").version("1.0.2")
}

checkerFramework {
    version = "3.54.0"
    checkers = listOf(
        "org.checkerframework.checker.regex.RegexChecker"
    )
}

I get this error

Main.java:7: error: [argument] incompatible argument for parameter regex of String.replaceAll.
        System.out.println("abc".replaceAll(str, ""));
                                            ^
  found   : String
  required: @Regex String
1 error

It seems that Pattern.pattern() should always return @Regex String, shouldn't it?

[mernst]

You are right. Thank you for reporting the bug!
I have opened a pair of pull requests (1, 2) to fix the issue.