Browse Source

declare typed_cast feature if we generate a typed cast while inlining

Simon Krajewski 12 năm trước cách đây
mục cha
commit
cbafabf3df
1 tập tin đã thay đổi với 1 bổ sung0 xóa
  1. 1 0
      optimizer.ml

+ 1 - 0
optimizer.ml

@@ -387,6 +387,7 @@ let rec type_inline ctx cf f ethis params tret config p force =
 						| TInst(c,_) -> Some (TClassDecl c)
 						| _ -> None
 					in
+					add_feature ctx.com "typed_cast";
 					mk (TCast (e,ct)) tret e.epos)
 			with Unify_error _ ->
 				mk (TCast (e,None)) tret e.epos)