Remove unused and unimplemented Router.withPrefix

core/play/src/main/scala/play/api/routing/Router.scala

@@ -20,24 +20,6 @@ trait Router:
    */
   def routes: Router.Routes
 
-  /**
-   * Get a new router that routes requests to `s"$prefix/$path"` in the same way this router routes requests
-   * to `path`.
-   *
-   * @return
-   *   the prefixed router
-   */
-  def withPrefix(prefix: String): Router
-
-  /**
-   * An alternative syntax for `withPrefix`. For example:
-   *
-   * {{{
-   *   val router = "/bar" /: barRouter
-   * }}}
-   */
-  final def /:(prefix: String): Router = withPrefix(prefix)
-
   /**
    * A lifted version of the routes partial function.
    */
@@ -48,7 +30,6 @@ trait Router:
    * `router`
    */
   final def orElse(other: Router): Router = new Router:
-    def withPrefix(prefix: String): Router = self.withPrefix(prefix).orElse(other.withPrefix(prefix))
     def routes: Routes = self.routes.orElse(other.routes)
 
 /**

dev-mode/routes-compiler/src/main/twirl/play/routes/compiler/inject/forwardsRouter.scala.twirl

@@ -22,9 +22,6 @@ final class Routes(
   @dep.ident: @dep.clazz,}
 ) extends GeneratedRouter @ob
 
-  final val prefix: String = "/"
-  def withPrefix(addPrefix: String): Routes = ???
-
 @for((rules, pathIndex) <- pathRules.map(_._2).zipWithIndex){
 @for((dep, index) <- rules.zipWithIndex){@dep.rule match {
 case route @ Route(verb, path, call, comments, modifiers) => {

dev-mode/routes-compiler/src/test/resources/snapshot/routes/lila-generated.txt

@@ -53,9 +53,6 @@ final class Routes(
   Feed_14: controllers.Feed,
 ) extends GeneratedRouter {
 
-  final val prefix: String = "/"
-  def withPrefix(addPrefix: String): Routes = ???
-
 
 
   // @LINE:95