Spring Boot 4 Gradle project with spring-data repos is the prereq
The repo methods should be able to navigate to the generated implementation of the generated repo classes if aot generated source is available. The query CodeLens is showing. So does the "Implementation". The "Implementation" however doesn't open the implementation