diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/comp/middle/ty.rs | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs index e910c23a..531e3f85 100644 --- a/src/comp/middle/ty.rs +++ b/src/comp/middle/ty.rs @@ -889,7 +889,19 @@ fn unify(@ty.t expected, @ty.t actual, &unify_handler handler) ret result; } case (ty.ty_param(?actual_id)) { - ret handler.unify_actual_param(actual_id, expected, actual); + alt (expected.struct) { + + // These two unify via logic lower down. Fall through. + case (ty.ty_local(_)) { } + case (ty.ty_var(_)) { } + + // More-concrete types can unify against params here. + case (_) { + ret handler.unify_actual_param(actual_id, + expected, + actual); + } + } } case (_) { /* empty */ } } |