I should read up on smartcasting, I kind of assume...

# announcements

[Baron R]

I should read up on smartcasting, I kind of assumed that if A is a subtype of B then I can automatically return C<A> in place of C<B>