Because the reference type of a in the first examp...

# announcements

[okkero]

Because the reference type of a in the first example is..well... the object type 'a'

In the second example the reference type of a is A