void () { var javax = new Javax(); javax./*Result of 'Javax.unannotated()' is ignored*/unannotated/**/(); javax.assertJ(); javax.errorProne(); var errorProne = new ErrorProne(); errorProne./*Result of 'ErrorProne.unannotated()' is ignored*/unannotated/**/(); errorProne.assertJ(); errorProne.errorProne(); var assertJ = new AssertJ(); assertJ./*Result of 'AssertJ.unannotated()' is ignored*/unannotated/**/(); assertJ.assertJ(); assertJ.errorProne(); }