From ebf5131708e250b4e3b759a6d12717ef5b887efb Mon Sep 17 00:00:00 2001 From: Rick Ossendrijver Date: Wed, 3 May 2023 14:31:23 +0200 Subject: [PATCH] Drop `this` --- .../java/tech/picnic/errorprone/refasterrules/StreamRules.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/error-prone-contrib/src/main/java/tech/picnic/errorprone/refasterrules/StreamRules.java b/error-prone-contrib/src/main/java/tech/picnic/errorprone/refasterrules/StreamRules.java index a2565745343..604abf1f74e 100644 --- a/error-prone-contrib/src/main/java/tech/picnic/errorprone/refasterrules/StreamRules.java +++ b/error-prone-contrib/src/main/java/tech/picnic/errorprone/refasterrules/StreamRules.java @@ -246,7 +246,7 @@ Optional after(Stream stream, Function function) { } /** In order to test whether a stream has any element, simply try to find one. */ - // XXX: This this rule assumes that any matched `Collector` does not perform any filtering. + // XXX: This rule assumes that any matched `Collector` does not perform any filtering. // (Perhaps we could add a `@Matches` guard that validates that the collector expression does not // contain a `Collectors#filtering` call. That'd still not be 100% accurate, though.) static final class StreamIsEmpty {