Type: Posts; User: nambill
Of course 'a' can reference a J_SubClass which is a subtype of J_SuperClass which is declared type of 'a'.