Use opaque types rather than continuing when template instantiation fails

2 files changed, 5 insertions, 6 deletions

diff --git a/src/ir/ty.rs b/src/ir/ty.rs
index f1485638..84a15614 100644
--- a/src/ir/ty.rs
+++ b/src/ir/ty.rs
@@ -988,11 +988,10 @@ impl Type {
                       (ty.template_args().is_some() &&
                        ty_kind != CXType_Typedef) {
             // This is a template instantiation.
-            let inst = match TemplateInstantiation::from_ty(&ty, ctx) {
-                Some(inst) => inst,
-                None => return Err(ParseError::Continue),
-            };
-            TypeKind::TemplateInstantiation(inst)
+            match TemplateInstantiation::from_ty(&ty, ctx) {
+                Some(inst) => TypeKind::TemplateInstantiation(inst),
+                None => TypeKind::Opaque,
+            }
         } else {
             match ty_kind {
                 CXType_Unexposed if *ty != canonical_ty &&
diff --git a/tests/expectations/tests/builtin-template.rs b/tests/expectations/tests/builtin-template.rs
index 1215f9da..44cda83c 100644
--- a/tests/expectations/tests/builtin-template.rs
+++ b/tests/expectations/tests/builtin-template.rs
@@ -4,4 +4,4 @@
 #![allow(non_snake_case)]
 
 
-pub type std_make_integer_sequence<T> = T;
+pub type std_make_integer_sequence = u8;