This PR modifies the type inference rules such that we only infer a function result ofnever in function expressions and arrow functions. For regular functions and methods, in cases where we would have inferrednever we now instead infervoid. This matches the behavior we had before the introduction ofnever and ensures better backwards compatibility. For example:

classBase{overrideMe(){thrownewError("You forgot to override me!");}}classDerived{overrideMe(){// Code that actually returns here}}

The above pattern is reasonably common and was broken because anever returning method cannot be overridden by avoid returning method.

This PR only affects return typeinference. It has no impact on functions and methods that explicitly specify a return type.