This directory contains test cases for all type systems.
As they are meant for all type systems, they do not contain any
actual annotations or expected errors.
They exercise tricky Java coding patterns that should be handled
correctly.

If a new type system correctly issues an error or a warning for one of these
tests, then suppress it using the most specific SuppressWarnings string
possible, for example "keyfor:return".  Write the
@SuppressWarnings annotation such that the scope is as limited as possible, but
do not alter the code.  Write a comment on the warning suppression explaining
why the error is expected. Add the test with the expected error to the type
systems test and add the expected error and/or adding annotations to prevent the
error to the test.

TODO: move interesting general purpose test cases from specific
type systems to this directory.

Note that this directory is also linked from
checker/tests/all-system