Parcourir la source

use proper position for safe-navigation generated if

Dan Korostelev il y a 3 ans
Parent
commit
4e5e766d55
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. 1 1
      src/typing/fields.ml

+ 1 - 1
src/typing/fields.ml

@@ -586,7 +586,7 @@ let type_field cfg ctx e i p mode (with_type : WithType.t) =
 			ethen
 		in
 		let eelse = Builder.make_null tnull ethen.epos in
-		let eif = mk (TIf(eneq,ethen,Some eelse)) tnull e.epos in
+		let eif = mk (TIf(eneq,ethen,Some eelse)) tnull p in
 		AKExpr (vr#to_texpr eif)
 	end