[nullsafety] ignore autogenerated `_this = null` (closes #8443)

src/typing/nullSafety.ml

@@ -1259,6 +1259,8 @@ class expr_checker mode immediate_execution report =
 				| None -> ()
 				(* Local named functions like `function fn() {}`, which are generated as `var fn = null; fn = function(){}` *)
 				| Some { eexpr = TConst TNull } when v.v_kind = VUser TVOLocalFunction -> ()
+				(* `_this = null` is generated for local `inline function` *)
+				| Some { eexpr = TConst TNull } when v.v_kind = VGenerated -> ()
 				| Some e ->
 					let local = { eexpr = TLocal v; epos = v.v_pos; etype = v.v_type } in
 					self#check_binop OpAssign local e p

tests/nullsafety/src/cases/TestStrict.hx

@@ -881,6 +881,14 @@ class TestStrict {
 		var y:Float = x.val();
 		x += x;
 	}
+
+	static function issue8443_nullPassedToInline_shouldPass() {
+		inline function method(?map: (Int)->Int) {
+			return map != null ? map(0) : -1;
+		}
+
+		var x:Int = method();
+	}
 }
 
 private class FinalNullableFields {