public static void CheckAllPathsReturn(ITranslationErrorHandler handler, Function function) { if (function.IsForeign) { return; } if (!SurelyReturns(function.Body) && !function.Signature.ReturnType.IsSameTypeAs(PrimitiveType.Null)) { throw handler.NotAllPathsReturn(function); } }