diff options
| author | Graydon Hoare <[email protected]> | 2011-03-08 16:31:37 -0800 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-03-08 16:32:39 -0800 |
| commit | 01bfc3ae8bff5131cfd1db748ca996bdb86e100e (patch) | |
| tree | 118ee67ea3ecb6fa8e35c58de3220203d1c00d81 /src/test | |
| parent | rustc: Move type parameter resolution from translation into the typechecker (diff) | |
| download | rust-01bfc3ae8bff5131cfd1db748ca996bdb86e100e.tar.xz rust-01bfc3ae8bff5131cfd1db748ca996bdb86e100e.zip | |
Fix generic-bind support for bound aliases and generics.
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/run-pass/generic-bind-2.rs | 10 | ||||
| -rw-r--r-- | src/test/run-pass/generic-bind.rs | 3 |
2 files changed, 10 insertions, 3 deletions
diff --git a/src/test/run-pass/generic-bind-2.rs b/src/test/run-pass/generic-bind-2.rs new file mode 100644 index 00000000..95a8cab4 --- /dev/null +++ b/src/test/run-pass/generic-bind-2.rs @@ -0,0 +1,10 @@ +fn id[T](&T t) -> T { + ret t; +} + +fn main() { + auto t = tup(1,2,3,4,5,6,7); + check (t._5 == 6); + auto f0 = bind id[tup(int,int,int,int,int,int,int)](t); + check (f0()._5 == 6); +} diff --git a/src/test/run-pass/generic-bind.rs b/src/test/run-pass/generic-bind.rs index 5f44bcee..ef1275e3 100644 --- a/src/test/run-pass/generic-bind.rs +++ b/src/test/run-pass/generic-bind.rs @@ -5,9 +5,6 @@ fn id[T](&T t) -> T { fn main() { auto t = tup(1,2,3,4,5,6,7); check (t._5 == 6); - // FIXME: this needs to work. - // auto f0 = bind id[tup(int,int,int,int,int,int,int)](t); auto f1 = bind id[tup(int,int,int,int,int,int,int)](_); - // check (f0()._5 == 6); check (f1(t)._5 == 6); } |