Add ticket numbers in @Ignore'd tests
More explicit compiler error handling
Failing test case
Type parameters are not super type positions
Test case for potential compiler bug