// Test case for Issue 862 | |
// https://github.com/typetools/checker-framework/issues/862 | |
package pkg3; | |
import pkg2.Class2; | |
public class Issue862 { | |
void illegalUse(Class2 class2) { | |
// :: error: (contracts.precondition) | |
class2.requiresOdd(); | |
} | |
void legalUse(Class2 class2) { | |
class2.ensuresOdd(); | |
class2.requiresOdd(); | |
} | |
} |