From cae16a7a72a75f08e01b63ef31a56e75125556b6 Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@mutabah.net>
Date: Sun, 5 Apr 2015 13:47:01 +0800
Subject: Move handling of wildcard trait destructure to TypeRef

---
 src/types.hpp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/types.hpp')

diff --git a/src/types.hpp b/src/types.hpp
index c56875f9..5a296e3d 100644
--- a/src/types.hpp
+++ b/src/types.hpp
@@ -178,6 +178,8 @@ public:
     /// Match 'GENERIC' entries with another type, passing matches to a closure
     void match_args(const TypeRef& other, ::std::function<void(const char*,const TypeRef&)> fcn) const;
     
+    bool impls_wildcard(AST::Crate& crate, const AST::Path& trait) const;
+    
     /// Returns true if the type is fully known (all sub-types are not wildcards)
     bool is_concrete() const;
 
-- 
cgit v1.2.3