assert (metasenv = [] && subst = []);
let ty = NCicTypeChecker.typeof ~subst ~metasenv [] t in
let src,tgt = src_tgt_of_ty_cpos_arity ty cpos arity in
-prerr_endline ("COERCION " ^ name ^ " cpos = " ^ string_of_int cpos ^ " arity = " ^ string_of_int arity);
basic_eval_and_inject_ncoercion (name,t,src,tgt,cpos,arity)
status
) status coercions