package xxx

abstract class Base{
	
	Child childExtension
	
	def protected dispatch Boolean foo(Object it){
		null
	}
	
	def protected dispatch Boolean foo(Integer it){
		val Boolean x = childExtension.foo(it)  // required for bug
		x
	}
}

package xxx

class Child extends Base {
	
	def protected dispatch Boolean foo(String it){
		val x = foo(null)	// first occurrence always OK
		x
	}
	
	def protected dispatch Boolean foo(StringBuilder it){
		val x = foo(null)	// second and following occurrences fail, but are marked only sometimes 
		// Ambiguous feature call. The methods foo(Object) in Child and foo(Object) in Base both match. 
		x
	}
}

	def protected dispatch Boolean foo(Integer it){
		val Boolean x = childExtension.foo2(it)  // required for bug
		x
	}
	
	def Boolean foo2(Object o) {
		foo(o)
	}