Auto merge of #470 - emilio:template-fun-ty, r=fitzgen

Fix a recent template-specialization-related regression.

r? @upsuper

2 files changed, 10 insertions, 7 deletions

diff --git a/src/clang.rs b/src/clang.rs
index 63f9123e..85e1ba1f 100644
--- a/src/clang.rs
+++ b/src/clang.rs
@@ -787,12 +787,14 @@ impl Type {
         // Yep, the spelling of this containing type-parameter is extremely
         // nasty... But can happen in <type_traits>. Unfortunately I couldn't
         // reduce it enough :(
-        !self.spelling().contains("type-parameter") &&
-        self.template_args()
-            .map_or(false, |mut args| {
-                args.len() > 0 &&
-                !args.any(|t| t.spelling().contains("type-parameter"))
-            })
+        self.template_args().map_or(false, |args| {
+            args.len() > 0
+        }) && match self.declaration().kind() {
+            CXCursor_ClassTemplatePartialSpecialization |
+            CXCursor_TypeAliasTemplateDecl |
+            CXCursor_TemplateTemplateParameter => false,
+            _ => true,
+        }
     }
 }
 
diff --git a/src/ir/ty.rs b/src/ir/ty.rs
index 1246057b..e3f7c8ef 100644
--- a/src/ir/ty.rs
+++ b/src/ir/ty.rs
@@ -622,7 +622,8 @@ impl Type {
                     // Same here, with template specialisations we can safely
                     // assume this is a Comp(..)
                 } else if ty.is_fully_specialized_template() {
-                    debug!("Template specialization: {:?}", ty);
+                    debug!("Template specialization: {:?}, {:?} {:?}",
+                           ty, location, canonical_ty);
                     let complex =
                         CompInfo::from_ty(potential_id, ty, location, ctx)
                             .expect("C'mon");