rust-lang/rust
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

rustc: Add a fast path if there are no type substitutions to be made

Browse Source
This commit is contained in:
Patrick Walton
2011-04-22 10:37:51 -07:00
parent 9ab9bd9cc2
commit 9edaa7dba3
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/comp/middle/ty.rs
View File

@@ -2362,9 +2362,15 @@ mod Unify {
auto ures = unify_step(cx, expected, actual); auto ures = unify_step(cx, expected, actual);
alt (ures) { alt (ures) {
case (ures_ok(?t)) { case (ures_ok(?typ)) {
// Fast path: if there are no local variables, don't perform
// substitutions.
if (_vec.len[mutable UFind.node](cx.sets.nodes) == 0u) {
ret ures_ok(typ);
}
auto set_types = unify_sets(cx); auto set_types = unify_sets(cx);
auto t2 = substitute(cx, set_types, t); auto t2 = substitute(cx, set_types, typ);
ret ures_ok(t2); ret ures_ok(t2);
} }
case (_) { ret ures; } case (_) { ret ures; }