the most basic case of subtype inversion...

... and it times out in IDE. verifies on cmd line.