This directory contains annotations files to use as input to WPI while running
the -Ainfer test checker tests. You must modify the relevant test to pass an annotation
file: files in this directory are not passed automatically.
