anchor.diff:  {
     // <1>
     get("/user/{id:[0-9]+}") { ctx ->
  -    val id = ctx.param("id").intValue() // <2>
  +    val id = ctx.path("id").intValue() // <2>
       id
     }
   }`
  
positive.code: {
    // <1>
    get("/file/{file}.{ext}", ctx -> {
      String filename = ctx.param("file").value(); // <2>
      String ext = ctx.param("ext").value();   // <3>
      return filename + "." + ext;
    });
  }
  
negative.code: {
    // <1>
    get("/file/{file}.{ext}") { ctx ->
      val filename = ctx.path("file").value() // <2>
      val ext = ctx.path("ext").value()       // <3>
      filename + "." + ext
    }
  }
  