fix(gsp): resolve g.taglib STC calls when the GSP page inherits getProperty (GROOVY-12041)

GroovyPageTypeCheckingExtension recorded the taglib-namespace receiver (e.g. `g`)
in unresolvedVariable / unresolvedProperty and matched it back by AST node
identity in methodNotFound. On Groovy 5, when the compiled GSP page inherits
getProperty(String) from its base class, those callbacks no longer fire for the
namespace, so the receiver is never recorded and `g.message(...)` is rejected by
@CompileStatic with "Cannot find matching method java.lang.Object#message(...)".

Per GROOVY-12041, match the call receiver by name against the allowed taglib
namespaces in methodNotFound, independently of whether the earlier callback
fired. This is resilient to the getProperty(String) short-circuit and does not
rely on node identity. Re-enables the previously @IgnoreIf-skipped g.* prefix
cases in GspCompileStaticSpec on Groovy 5.

Standalone reproducer (matrix across 4.0.31 / 5.0.6 / 5.0.7-SNAPSHOT / 6.0.0-SNAPSHOT):
https://github.com/jamesfredley/groovy5-stc-extension-node-identity-bug

Verified: grails-gsp-core test on 5.0.7-SNAPSHOT - 21 passed, 0 failed, 2 skipped
(the 2 skips are an unrelated undeclared-variable concern, left as-is).

Assisted-by: claude-code:claude-4.8-opus

Author: jamesfredley

grails-gsp/core/src/main/groovy/org/grails/gsp/compiler/GroovyPageTypeCheckingExtension.groovy

@@ -69,7 +69,29 @@ class GroovyPageTypeCheckingExtension extends GroovyTypeCheckingExtensionSupport
         }
 
         methodNotFound { receiver, name, argList, argTypes, call ->
-            if (isThisTheReceiver(call) || (call.objectExpression != null && currentScope.dynamicProperties.contains(call.objectExpression))) {
+            if (isThisTheReceiver(call)) {
+                return makeDynamic(call)
+            }
+            def objectExpression = call.objectExpression
+            if (objectExpression == null) {
+                return null
+            }
+            if (currentScope.dynamicProperties.contains(objectExpression)) {
+                return makeDynamic(call)
+            }
+            // Groovy 5+ (GROOVY-12041): when the compiled GSP page inherits
+            // getProperty(String) from its base class, the unresolvedVariable /
+            // unresolvedProperty callback no longer fires for a taglib namespace
+            // such as 'g', so the receiver is never recorded in dynamicProperties
+            // and the node-identity check above cannot match. Fall back to
+            // matching the receiver by name against the allowed taglib namespaces.
+            String namespaceName = null
+            if (objectExpression instanceof VariableExpression) {
+                namespaceName = ((VariableExpression) objectExpression).name
+            } else if (objectExpression instanceof PropertyExpression && isThisTheReceiver(objectExpression)) {
+                namespaceName = ((PropertyExpression) objectExpression).propertyAsString
+            }
+            if (namespaceName != null && currentScope.allowedTagLibs.contains(namespaceName)) {
                 return makeDynamic(call)
             }
         }

grails-gsp/core/src/test/groovy/org/grails/gsp/GspCompileStaticSpec.groovy

@@ -93,10 +93,6 @@ class GspCompileStaticSpec extends Specification {
         compileStatic << [true, false]
     }
 
-    // Note: In Groovy 5, the g.message() syntax with g. prefix fails static type checking
-    // because the type checking extension doesn't properly resolve the 'g' taglib property.
-    // Tests with gDotPrefix: true are skipped on Groovy 5+.
-    @IgnoreIf({ instance.isGroovy5OrLater() && data.gDotPrefix })
     def "should support message tag invocation"() {
         given:
         def template = '<%@ compileStatic="true"%>${' + (gDotPrefix ? 'g.' : '') + '''message(code:'World')}'''
@@ -108,7 +104,6 @@ class GspCompileStaticSpec extends Specification {
         gDotPrefix << [false, true]
     }
 
-    @IgnoreIf({ instance.isGroovy5OrLater() && data.gDotPrefix })
     def "should support message tag invocation inline"() {
         given:
         def template = """<%@ compileStatic="true"%><%
@@ -124,7 +119,6 @@ out.print(${gDotPrefix ? 'g.' : ''}message(code:'World'))
         gDotPrefix << [false, true]
     }
 
-    @IgnoreIf({ instance.isGroovy5OrLater() && data.gDotPrefix })
     def "should support message tag invocation inline in a closure"() {
         given:
         def template = """<%@ compileStatic="true"%><%