import org.checkerframework.checker.index.qual.Positive; | |
public class SimpleTransferSub { | |
void test() { | |
// shows a bug in the checker framework. I don't think we can get around this bit... | |
int bs = 0; | |
// :: error: (assignment) | |
@Positive int ds = bs--; | |
} | |
} | |
// a comment |