When inferring the return type, we should consider overriding methods and HasType.

class TestOverridingAndHasType {
class A {
	def m():Int = 1;
	def t():Int = 1;
	def p():Double = 1;
}
class B extends A {
	def m() {throw new Exception();	} // ShouldNotBeERR
	def t() <: Int { throw new Exception();	} // ShouldNotBeERR ShouldNotBeERR
	def p() = 2;  // ShouldNotBeERR
}
class C {	
	def m() { throw new Exception();	} // infers void
	def m1():void { throw new Exception();	}
	def m2():Int { throw new Exception();	}
	def m3() <: Int {throw new Exception();	} // ShouldNotBeERR 
	def m4() <: void {throw new Exception();	}
}
}