|
@@ -3115,7 +3115,7 @@ and build_call ctx acc el (with_type:with_type) p =
|
|
|
let t = follow (field_type ctx cl [] ef p) in
|
|
|
(* for abstracts we have to apply their parameters to the static function *)
|
|
|
let t,tthis = match follow eparam.etype with
|
|
|
- | TAbstract(a,tl) -> apply_params a.a_types tl t,apply_params a.a_types tl a.a_this
|
|
|
+ | TAbstract(a,tl) when Meta.has Meta.Impl ef.cf_meta -> apply_params a.a_types tl t,apply_params a.a_types tl a.a_this
|
|
|
| te -> t,te
|
|
|
in
|
|
|
let params,args,r = match t with
|