aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorPatrick Walton <[email protected]>2011-02-25 13:44:37 -0800
committerPatrick Walton <[email protected]>2011-02-25 13:44:37 -0800
commit69464aae62aef5a65fcf5bb79ab18f8967f32206 (patch)
treec427fd5ad9a36bb12db631ad4b02ce79898df926 /src
parentrustc: Push type parameters down through alt tag patterns; add a test (diff)
downloadrust-69464aae62aef5a65fcf5bb79ab18f8967f32206.tar.xz
rust-69464aae62aef5a65fcf5bb79ab18f8967f32206.zip
rustc: Remove FIXME obsoleted by the previous commit
Diffstat (limited to 'src')
-rw-r--r--src/comp/middle/typeck.rs5
1 files changed, 0 insertions, 5 deletions
diff --git a/src/comp/middle/typeck.rs b/src/comp/middle/typeck.rs
index a69d169d..472bd8d3 100644
--- a/src/comp/middle/typeck.rs
+++ b/src/comp/middle/typeck.rs
@@ -913,11 +913,6 @@ fn demand_pat(&@fn_ctxt fcx, @ty.t expected, @ast.pat pat) -> @ast.pat {
// of the variant, which is either a tag type in the case of
// nullary variants or a function type in the case of n-ary
// variants.
- //
- // TODO: When we have type-parametric tags, this will get a little
- // trickier. Basically, we have to instantiate the variant type we
- // acquire here with the type parameters provided to us by
- // "expected".
// Grab the values for the type parameters of the tag from the
// expected type.