From [1] I understand that this functionality was moved to something called Klippy. Are my search skills failing me, or is that a Google-internal product?
I understand the rationale for dropping this bug pattern, but it's a shame to see it go: during its short life (it's only present in 2.0.10) it pointed out several violations in our code base.
[1] https://github.com/google/error-prone/commit/570675a7dad44007e08ab5fa201a4a0848d9f421
--
Googlers: This an external list. Please be careful when posting.
---
You received this message because you are subscribed to the Google Groups "error-prone-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to error-prone-dis...@googlegroups.com.
Visit this group at https://groups.google.com/group/error-prone-discuss.
To view this discussion on the web visit https://groups.google.com/d/msgid/error-prone-discuss/b64f6be0-6f29-45e9-b493-24a4a0c4c494%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Awesome. Thanks for providing some context!