diff -r b7fe1d822dc1 -r 5f706f7c624b src/Pure/library.scala
--- a/src/Pure/library.scala	Tue Mar 14 11:14:50 2023 +0100
+++ b/src/Pure/library.scala	Tue Mar 14 17:05:49 2023 +0100
@@ -308,4 +308,9 @@
 
   def as_subclass[C](c: Class[C])(x: AnyRef): Option[C] =
     if (x == null || is_subclass(x.getClass, c)) Some(x.asInstanceOf[C]) else None
+
+
+  /* named items */
+
+  trait Named { def name: String }
 }