try to get untyped field access under control

src/optimization/analyzerTexpr.ml

@@ -363,7 +363,7 @@ module InterferenceReport = struct
 			(* fields *)
 			| TField(e1,fa) ->
 				loop e1;
-				if not (Optimizer.is_read_only_field_access fa) then set_field_read ir (field_name fa);
+				if not (Optimizer.is_read_only_field_access e1 fa) then set_field_read ir (field_name fa);
 			| TBinop(OpAssign,{eexpr = TField(e1,fa)},e2) ->
 				set_field_write ir (field_name fa);
 				loop e1;
@@ -663,7 +663,7 @@ module Fusion = struct
 						(* fields *)
 						| TField(e1,fa) ->
 							let e1 = replace e1 in
-							if not !found && not (Optimizer.is_read_only_field_access fa) && (has_field_write ir (field_name fa) || has_state_write ir) then raise Exit;
+							if not !found && not (Optimizer.is_read_only_field_access e1 fa) && (has_field_write ir (field_name fa) || has_state_write ir) then raise Exit;
 							{e with eexpr = TField(e1,fa)}
 						| TBinop(OpAssign,({eexpr = TField(e1,fa)} as ef),e2) ->
 							let e1 = replace e1 in

src/optimization/optimizer.ml

@@ -238,16 +238,16 @@ let api_inline ctx c field params p = match c.cl_path, field, params with
 	| _ ->
 		api_inline2 ctx.com c field params p
 
-let is_read_only_field_access fa = match fa with
+let is_read_only_field_access e fa = match fa with
 	| FEnum _ ->
 		true
 	| FDynamic _ ->
 		false
+	| FAnon {cf_kind = Var {v_write = AccNo}} when (match e.eexpr with TLocal v when is_unbound v -> true | _ -> false) -> true
 	| FAnon cf | FInstance (_,_,cf) | FStatic (_,cf) | FClosure (_,cf) ->
 		match cf.cf_kind with
 			| Method MethDynamic -> false
 			| Method _ -> true
-			| Var {v_write = AccNo} when (match fa with FAnon _ -> true | _ -> false) -> true
 			| Var {v_write = AccNever} -> true
 			| _ -> false
 
@@ -257,7 +257,7 @@ let create_affection_checker () =
 		let rec loop e = match e.eexpr with
 			| TConst _ | TFunction _ | TTypeExpr _ -> ()
 			| TLocal v when Hashtbl.mem modified_locals v.v_id -> raise Exit
-			| TField(_,fa) when not (is_read_only_field_access fa) -> raise Exit
+			| TField(e1,fa) when not (is_read_only_field_access e1 fa) -> raise Exit
 			| _ -> Type.iter loop e
 		in
 		try