The following code fails to compile with the error no member named 'foo' in 'B' despite that only being an issue within a context that should be discarded at compile time.