diff options
Diffstat (limited to 'src/comp/middle/ty.rs')
| -rw-r--r-- | src/comp/middle/ty.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs index 42bd68af..ccbbeed0 100644 --- a/src/comp/middle/ty.rs +++ b/src/comp/middle/ty.rs @@ -1929,6 +1929,7 @@ mod Unify { } else if (actual_input.mode == mo_either) { result_mode = expected_input.mode; } else if (expected_input.mode != actual_input.mode) { + // FIXME this is the wrong error ret fn_common_res_err(ures_err(terr_arg_count, expected, actual)); } else { |