mirror of
https://github.com/spring-projects/spring-framework.git
synced 2026-09-17 16:39:29 +00:00
The EXTENSION_RECEIVER parameter of Kotlin's extension methods appear as normal method parameters to Java and thus require a name. The synthetic name "$receiver" is used here, as it is not a valid Kotlin identifier, but valid in Java. Issue: SPR-16119