Add symbols of the new experimental feature to stdlibExperimentalDefinitions

Author: zeptometer

library/src/scala/quoted/runtime/Patterns.scala

@@ -32,7 +32,7 @@ object Patterns {
    *  Calling this method in source has undefined behavior at compile-time
    */
   @experimental
-  @compileTimeOnly("Illegal reference to `scala.quoted.runtime.Patterns.higherOrderHole`")
+  @compileTimeOnly("Illegal reference to `scala.quoted.runtime.Patterns.higherOrderHoleWithTypes`")
   def higherOrderHoleWithTypes[U, T](args: Any*): U = ???
 
   /** A splice of a name in a quoted pattern is that marks the definition of a type splice.

library/src/scala/runtime/stdLibPatches/language.scala

@@ -101,7 +101,7 @@ object language:
 
     /** Experimental support for quote pattern matching with polymorphic functions
      *
-     *  @see TODO
+     *  @see TODO-18271
      */
     @compileTimeOnly("`quotedPatternsWithPolymorphicFunctions` can only be used at compile time in import statements")
     object quotedPatternsWithPolymorphicFunctions

tests/run-tasty-inspector/stdlibExperimentalDefinitions.scala

@@ -99,7 +99,11 @@ val experimentalDefinitionInLibrary = Set(
   "scala.Tuple$.Helpers$",
   "scala.Tuple$.Helpers$.ReverseImpl",
   "scala.Tuple$.Reverse",
-  "scala.runtime.Tuples$.reverse"
+  "scala.runtime.Tuples$.reverse",
+
+  // New feature: functions with erased parameters.
+  // Need quotedPatternsWithPolymorphicFunctions enabled.
+  "scala.quoted.runtime.Patterns$.higherOrderHoleWithTypes"
 )