Puzzle from an Interview with Eric Lippert: Inheritance and Generic Type Setting

Question

Can someone explain to me why the below code outputs what it does? Why is T a String in the first one, not an Int32, and why is it the opposite case in the next output?

Answer 1

Method M inside B prints typeof(T) of A, A is parent class of B.

So irrespective of whether B is derived from whatever, M prints typeof(T) that is String.

So A.B.M prints nearest A's T.

So A.B.M will print string

Now, let us expand expression A.B.C, which is equivalent to A.B.A.B (since C is A.B), so method A.B.A.B.M will print nearest T.

A.B.A.B.M will print int