diff options
Diffstat (limited to 'java/com/google/turbine/diag/SourceFile.java')
-rw-r--r-- | java/com/google/turbine/diag/SourceFile.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/java/com/google/turbine/diag/SourceFile.java b/java/com/google/turbine/diag/SourceFile.java index 3868252..a7c3245 100644 --- a/java/com/google/turbine/diag/SourceFile.java +++ b/java/com/google/turbine/diag/SourceFile.java @@ -19,6 +19,7 @@ package com.google.turbine.diag; import com.google.common.base.Supplier; import com.google.common.base.Suppliers; import java.util.Objects; +import org.jspecify.nullness.Nullable; /** A source file. */ public class SourceFile { @@ -55,7 +56,7 @@ public class SourceFile { } @Override - public boolean equals(Object obj) { + public boolean equals(@Nullable Object obj) { if (!(obj instanceof SourceFile)) { return false; } |