ParentFull threadseer-zig·Java's type system supports code gen. See projects like the Checker framework or NullAwayView on HN