diff -r 5ab016cbba18 -r 72daee8a39ca src/Pure/General/path.scala
--- a/src/Pure/General/path.scala	Fri Dec 30 21:09:50 2022 +0100
+++ b/src/Pure/General/path.scala	Fri Dec 30 21:27:57 2022 +0100
@@ -312,8 +312,6 @@
       } catch { case ERROR(_) => None }).headOption.getOrElse(implode)
   }
 
-  def position: Position.T = Position.File(implode_symbolic)
-
 
   /* platform files */