1 files changed, 42 insertions, 0 deletions
diff --git a/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/bounds/FalseBound.java b/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/bounds/FalseBound.java
new file mode 100644
index 000000000..b1554db3d
--- /dev/null
+++ b/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/bounds/FalseBound.java
@@ -0,0 +1,42 @@
+package com.github.javaparser.symbolsolver.resolution.typeinference.bounds;
+
+import com.github.javaparser.symbolsolver.resolution.typeinference.Bound;
+import com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariable;
+import com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariableSubstitution;
+
+import java.util.Collection;
+import java.util.Collections;
+import java.util.Set;
+
+/**
+ * No valid choice of inference variables exists.
+ *
+ * @author Federico Tomassetti
+ */
+public class FalseBound extends Bound {
+
+    private static FalseBound INSTANCE = new FalseBound();
+
+    private FalseBound() {
+
+    }
+
+    public static FalseBound getInstance() {
+        return INSTANCE;
+    }
+
+    @Override
+    public String toString() {
+        return "FalseBound{}";
+    }
+
+    @Override
+    public boolean isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution) {
+        return false;
+    }
+
+    @Override
+    public Set<InferenceVariable> usedInferenceVariables() {
+        return Collections.emptySet();
+    }
+}