diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2012-04-17 16:03:23 -0700 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2012-04-19 21:01:11 -0700 |
| commit | f3f34bf09b2512cac0e77281d8f2249d64cf2743 (patch) | |
| tree | db8bd95b729829e68e29b248b578360bce5361b1 /src/rt/rust_kernel.cpp | |
| parent | bbfb83c2c5501ce3944ea77e7610b83a3bdbfc04 (diff) | |
| download | rust-f3f34bf09b2512cac0e77281d8f2249d64cf2743.tar.gz rust-f3f34bf09b2512cac0e77281d8f2249d64cf2743.zip | |
correct universally_quantify to use structure_of, and introduce a test for this
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions