TS: Property polimórfica

[PalumboN]

Ahora tenemos el siguiente test que no debería tener errores, pero los tiene:

		'''
			object obj1 { }
			object obj2 { }
			object testing {
				method test1() {
					obj.x(obj2)
				} 				
			}
			object obj { 
				var property x = obj1
			}
		'''.parseAndInfer.asserting [
			// FIXME
//			noIssues
			findByText('''obj2''').assertIncompatibleTypesIssue("obj1", "obj2")
		]

Hay que revisar por qué no infiere el tipo unión (puede ser con la lógica del sealed, tal vez las properties deberían esperar a resolver los open method relacionados).