@elmuerte@idlethumbs.social Yep, although to my understanding it's necessary for some checks that would otherwise not be possible. It's more of a failure of the JDK for not offering a public API that alternative compilers can implement. Go has a fairly clean API for this (notably separate from the compiler entirely), but tbf Go is also a much simpler language. https://pkg.go.dev/golang.org/x/tools/go/analysis