Even if a value record is annotated with @ImplicitlyConstructible, the JVM won't consider the record as being implicitly constructible because it fails to recognize java.lang.Record as a valid super-type for an implicitly constructible type. java.lang.Record must be added to the list of valid super-types as a special case, just like java.lang.Object.