class A { virtual int B() { return 0; } }; class B: A { B() { } }; gives an error, but should compile (as gross as it is). I'm hoping there is a prohibition against it, but didn't find one.
radr://6202462
Confirmed, looks related to covariant returns.
Ick. Also fails 4.3.2, 4.0.1, 3.3.
Fixed.