I'm confused as to why this is necessary. Are we treating warnings as errors? The "unclaimed annotations" warning is an annoying misfeature, but if this test needs to jump through this hoop are we saying that users' code will too?