new test: covariant return in base methods but no "+" in callin binding.
1 file changed