While browsing the code I think I found a small bug. In
doesn't take into account the scenario where the child type is a nested
type of the parent type (and hence has access to private members).
The attached example fails verification (on the CLR, I didn't actually
try Rotor) and I believe it shouldn't.
Are these types of (obscure) bugs worth reporting?