More Lambda inlines

Author: RblSb

src/typing/nullSafety.ml

@@ -1445,10 +1445,15 @@ class expr_checker mode immediate_execution report =
 			Check if specified expressions can be passed to a call which expects `types`.
 		*)
 		method private check_args callee args types =
+			let rec expr_with_unsafe_meta e =
+				match e.eexpr with
+					| TMeta ((Meta.NullSafety, [(EConst (Ident "Off"), _)], _), e) -> true
+					| TParenthesis e -> expr_with_unsafe_meta e
+					| _ -> false in
 			let rec traverse arg_num args types meta =
 				match (args, types, meta) with
 					| (arg :: args, (arg_name, optional, t) :: types, arg_meta :: meta) ->
-						let unsafe_argument = contains_unsafe_meta arg_meta in
+						let unsafe_argument = contains_unsafe_meta arg_meta || expr_with_unsafe_meta arg in
 						if
 							not optional && not unsafe_argument
 							&& not (self#can_pass_expr arg t arg.epos)

std/Lambda.hx

@@ -122,11 +122,14 @@ class Lambda {
 
 		If `f` is null, the result is unspecified.
 	**/
-	public static function exists<A>(it:Iterable<A>, f:(item:A) -> Bool) {
+	public static inline function exists<A>(it:Iterable<A>, f:(item:A) -> Bool) {
+		var isExists = false;
 		for (x in it)
-			if (f(x))
-				return true;
-		return false;
+			if (f(x)) {
+				isExists = true;
+				break;
+			}
+		return isExists;
 	}
 
 	/**
@@ -141,19 +144,22 @@ class Lambda {
 
 		If `f` is null, the result is unspecified.
 	**/
-	public static function foreach<A>(it:Iterable<A>, f:(item:A) -> Bool) {
+	public static inline function foreach<A>(it:Iterable<A>, f:(item:A) -> Bool) {
+		var isAll = true;
 		for (x in it)
-			if (!f(x))
-				return false;
-		return true;
+			if (!f(x)) {
+				isAll = false;
+				break;
+			}
+		return isAll;
 	}
 
 	/**
 		Calls `f` on all elements of `it`, in order.
 
 		If `f` is null, the result is unspecified.
 	**/
-	public static function iter<A>(it:Iterable<A>, f:(item:A) -> Void) {
+	public static inline function iter<A>(it:Iterable<A>, f:(item:A) -> Void) {
 		for (x in it)
 			f(x);
 	}
@@ -164,7 +170,7 @@ class Lambda {
 		If `it` is empty, the result is the empty Array even if `f` is null.
 		Otherwise if `f` is null, the result is unspecified.
 	**/
-	public static function filter<A>(it:Iterable<A>, f:(item:A) -> Bool) {
+	public static inline function filter<A>(it:Iterable<A>, f:(item:A) -> Bool) {
 		return [for (x in it) if (f(x)) x];
 	}
 
@@ -180,7 +186,7 @@ class Lambda {
 
 		If `it` or `f` are null, the result is unspecified.
 	**/
-	public static function fold<A, B>(it:Iterable<A>, f:(item:A, result:B) -> B, first:B):B {
+	public static inline function fold<A, B>(it:Iterable<A>, f:(item:A, result:B) -> B, first:B):B {
 		for (x in it)
 			first = f(x, first);
 		return first;
@@ -191,7 +197,7 @@ class Lambda {
 
 		If `it` or `f` are null, the result is unspecified.
 	**/
-	public static function foldi<A, B>(it:Iterable<A>, f:(item:A, result:B, index:Int) -> B, first:B):B {
+	public static inline function foldi<A, B>(it:Iterable<A>, f:(item:A, result:B, index:Int) -> B, first:B):B {
 		var i = 0;
 		for (x in it) {
 			first = f(x, first, i);
@@ -206,7 +212,7 @@ class Lambda {
 
 		This function traverses all elements.
 	**/
-	public static function count<A>(it:Iterable<A>, ?pred:(item:A) -> Bool) {
+	public static inline function count<A>(it:Iterable<A>, ?pred:(item:A) -> Bool) {
 		var n = 0;
 		if (pred == null)
 			for (_ in it)
@@ -252,12 +258,15 @@ class Lambda {
 
 		If `f` is null, the result is unspecified.
 	**/
-	public static function find<T>(it:Iterable<T>, f:(item:T) -> Bool):Null<T> {
+	public static inline function find<T>(it:Iterable<T>, f:(item:T) -> Bool):Null<T> {
+		var first:Null<T> = null;
 		for (v in it) {
-			if (f(v))
-				return v;
+			if (f(@:nullSafety(Off) v)) {
+				first = v;
+				break;
+			}
 		}
-		return null;
+		return first;
 	}
 
 	/**