Description Sebastian Zarnekow 2012-02-08 09:27:14 EST

Input file:

class X {
	def method() {
		val CharSequence c = null
		c.toString // first
		expectString(c.toString) // second
		if (true) {
			expectString(c.toString) // third
		}
	}	
	def expectString(String s) {}
}

Invoke CA in annotated lines right after c.toString

First example works as expected
Second yields 'Override Object.toString()' which is not right
Third offers Object.toString() in addition to CharSequence.toString which is not what one would expect (assumed receiver seems to be 'this' since X.toString is suggested if toString is specialized in X