// That the Value Checker can parse this stub file is a test case for | |
// https://github.com/typetools/checker-framework/issues/2830 | |
import org.checkerframework.common.value.qual.IntVal; | |
package java.lang; | |
class Long { | |
static @IntVal(-9223372036854775808l) Long MIN_VALUE; | |
} |