|
@@ -3936,7 +3936,7 @@ and display_expr ctx e_ast e with_type p =
|
|
let acc = ref (loop acc l) in
|
|
let acc = ref (loop acc l) in
|
|
let rec dup t = Type.map dup t in
|
|
let rec dup t = Type.map dup t in
|
|
List.iter (fun f ->
|
|
List.iter (fun f ->
|
|
- if not (Meta.has Meta.NoUsing f.cf_meta) then
|
|
|
|
|
|
+ if not (Meta.has Meta.NoUsing f.cf_meta) && not (Meta.has Meta.Impl f.cf_meta) then
|
|
let f = { f with cf_type = opt_type f.cf_type } in
|
|
let f = { f with cf_type = opt_type f.cf_type } in
|
|
let monos = List.map (fun _ -> mk_mono()) f.cf_params in
|
|
let monos = List.map (fun _ -> mk_mono()) f.cf_params in
|
|
let map = apply_params f.cf_params monos in
|
|
let map = apply_params f.cf_params monos in
|