O'Reilly logo
  • Murat Cetin thinks this is interesting:

Compilation fails—there’s no way d could ever refer to a Cat or a subtype of Cat

From

Cover of OCA/OCP Java SE 7 Programmer I & II Study Guide (Exams 1Z0-803 & 1Z0-804)

Note

it is a COMPILE fail!