inverted @:to field unification order (we always want to unify 'this' first)

type.ml

@@ -1168,7 +1168,7 @@ and unify_to_field ab tl a b (t,cfo) =
 		| TFun([_,_,ta],_) ->
 			let monos = List.map (fun _ -> mk_mono()) cf.cf_params in
 			let map t = apply_params ab.a_types tl (apply_params cf.cf_params monos t) in
-			if loop (map t) b then try unify (map ab.a_this) (map ta); true with Unify_error _ -> false else false
+			(try unify (map ab.a_this) (map ta); loop (map t) b with Unify_error _ -> false)
 		| _ -> assert false)
 	| _ ->
 		loop (apply_params ab.a_types tl t) b

typeload.ml

@@ -1343,6 +1343,7 @@ let init_class ctx c p context_init herits fields =
 					end else if Meta.has Meta.To f.cff_meta then begin
 						let ta = monomorphs a.a_types (monomorphs params a.a_this) in
 						unify ctx t (tfun [ta] m) f.cff_pos;
+						if not (Meta.has Meta.Impl cf.cf_meta) then cf.cf_meta <- (Meta.Impl,[],cf.cf_pos) :: cf.cf_meta;
 						a.a_to <- (follow m, Some cf) :: a.a_to
 					end
 				| _ ->