ok    Int annotated on a String literal is caught
  ok    and names the variable
  ok    String annotated on an Int literal is caught
  ok    correct annotations are clean
  ok    the compiler's own source is clean — no false positives

  5 assertions, 5 passed, 0 failed