summaryrefslogtreecommitdiff
path: root/src/hir/pattern.hpp
diff options
context:
space:
mode:
authorJohn Hodge <tpg@mutabah.net>2016-05-29 21:41:05 +0800
committerJohn Hodge <tpg@mutabah.net>2016-05-29 21:41:05 +0800
commit73bcd2fb0bda8f939a6c1385b419a67ad8eeef2c (patch)
tree5c397d572cd5ddfb0a7d55c35ff430f73e6073a5 /src/hir/pattern.hpp
parentfd9b01b2d8b1efb4f7f95a72af4eeff2fae2a576 (diff)
downloadmrust-73bcd2fb0bda8f939a6c1385b419a67ad8eeef2c.tar.gz
HIR Typecheck - Expression inference coming along
Diffstat (limited to 'src/hir/pattern.hpp')
-rw-r--r--src/hir/pattern.hpp1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/hir/pattern.hpp b/src/hir/pattern.hpp
index 0db35059..fc763f54 100644
--- a/src/hir/pattern.hpp
+++ b/src/hir/pattern.hpp
@@ -60,6 +60,7 @@ struct Pattern
(Ref, struct { ::HIR::BorrowType type; ::std::unique_ptr<Pattern> sub; } ),
(Tuple, struct { ::std::vector<Pattern> sub_patterns; } ),
(StructTuple, struct {
+ // NOTE: Type paths in patterns _can_ have parameters
GenericPath path;
const Struct* binding;
::std::vector<Pattern> sub_patterns;