1 files changed, 16 insertions, 0 deletions
diff --git a/engine/src/core/checkers/quals/Unqualified.java b/engine/src/core/checkers/quals/Unqualified.java
new file mode 100644
index 0000000..a210b70
--- /dev/null
+++ b/engine/src/core/checkers/quals/Unqualified.java
@@ -0,0 +1,16 @@
+package checkers.quals;
+
+import java.lang.annotation.Target;
+
+/**
+ * A special annotation intended solely for representing an unqualified type in
+ * the qualifier hierarchy, as an argument to {@link SubtypeOf#value()},
+ * in the type qualifiers declarations.
+ *
+ * <p>
+ * Programmers cannot write this in source code.
+ */
+@TypeQualifier
+@SubtypeOf({})
+@Target({}) // empty target prevents programmers from writing this in a program
+public @interface Unqualified { }