foreign_procs_exist_type.m:054: In clause for predicate `mercury_test'/2:
foreign_procs_exist_type.m:054:   in argument 1 of call to predicate
foreign_procs_exist_type.m:054:   `foreign_procs_exist_type.make_t'/1:
foreign_procs_exist_type.m:054:   type error: variable `T2' has type
foreign_procs_exist_type.m:054:     some [T_2] (T_2);
foreign_procs_exist_type.m:054:   expected type was
foreign_procs_exist_type.m:054:     some [T_3] (T_3).
foreign_procs_exist_type.m:076: In clause for predicate `foreign_pred_test'/2:
foreign_procs_exist_type.m:076:   type error: variable `HeadVar__2' has type
foreign_procs_exist_type.m:076:     some [T_2] (T_2);
foreign_procs_exist_type.m:076:   expected type was
foreign_procs_exist_type.m:076:     some [T_3] (T_3).
foreign_procs_exist_type.m:120: In clause for function `foreign_func_test'/1:
foreign_procs_exist_type.m:120:   type error: variable `HeadVar__2' has type
foreign_procs_exist_type.m:120:     some [T_2] (T_2);
foreign_procs_exist_type.m:120:   expected type was
foreign_procs_exist_type.m:120:     some [T_3] (T_3).
For more information, recompile with `-E'.