Move OthersAnnotation to compile-time test

Also new test verifies that we indeed copying the non-AA annotations.