Merge branch 'development' into no_void_load

# Conflicts:
#	src/typing/typeload.ml

src/typing/typeloadFields.ml

@@ -602,9 +602,7 @@ let type_var_field ctx t e stat do_display p =
 	let e = if do_display then Display.preprocess_expr ctx.com e else e in
 	let e = type_expr ctx e (WithType.with_type t) in
 	let e = AbstractCast.cast_or_unify ctx t e p in
-	match t with
-	| TType ({ t_path = ([],"UInt") },[]) | TAbstract ({ a_path = ([],"UInt") },[]) when stat -> { e with etype = t }
-	| _ -> e
+	e
 
 let type_var_field ctx t e stat do_display p =
 	let save = TypeloadFunction.save_field_state ctx in

tests/misc/compiler_loops/projects/Issue9428/TypedefAbstract.hx

@@ -10,6 +10,6 @@ typedef Rec2Struct<T> = {
 
 class TypedefAbstract {
 	static function main() {
-		var r:Rec2<Void> = (null:Rec1<Void>);
+		var r:Rec2<haxe.NoValue> = (null:Rec1<haxe.NoValue>);
 	}
 }

tests/misc/compiler_loops/projects/Issue9428/TypedefTypedef.hx

@@ -8,6 +8,6 @@ typedef Rec2<T> = {
 
 class TypedefTypedef {
 	static function main() {
-		var r:Rec1<Void> = (null:Rec2<Void>);
+		var r:Rec1<haxe.NoValue> = (null:Rec2<haxe.NoValue>);
 	}
 }