A test case to ensure that the declaration annotation
is correctly interpreted as a type annotation.
