|
@@ -1131,7 +1131,7 @@ let rec using_field ctx mode e i p =
|
|
| (c,pc) :: l ->
|
|
| (c,pc) :: l ->
|
|
try
|
|
try
|
|
let cf = PMap.find i c.cl_statics in
|
|
let cf = PMap.find i c.cl_statics in
|
|
- if Meta.has Meta.NoUsing cf.cf_meta || not (can_access ctx c cf true) then raise Not_found;
|
|
|
|
|
|
+ if Meta.has Meta.NoUsing cf.cf_meta || not (can_access ctx c cf true) || (Meta.has Meta.Impl cf.cf_meta) then raise Not_found;
|
|
let monos = List.map (fun _ -> mk_mono()) cf.cf_params in
|
|
let monos = List.map (fun _ -> mk_mono()) cf.cf_params in
|
|
let map = apply_params cf.cf_params monos in
|
|
let map = apply_params cf.cf_params monos in
|
|
let t = map cf.cf_type in
|
|
let t = map cf.cf_type in
|