package-info.java

/**
 * Provides a type-checker plug-in for the {@link
 * org.checkerframework.checker.interning.qual.Interned} qualifier that finds (and verifies the
 * absence of) equality-testing and interning errors.
 *
 * @see org.checkerframework.checker.interning.InterningChecker
 * @checker_framework.manual #interning-checker Interning Checker
 */
package org.checkerframework.checker.interning;