diff options
| -rw-r--r-- | src/ir/template.rs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/ir/template.rs b/src/ir/template.rs index 18a3f805..3484a9c6 100644 --- a/src/ir/template.rs +++ b/src/ir/template.rs @@ -121,8 +121,14 @@ impl TemplateInstantiation { }); let definition = match definition { - None => return None, Some(def) => def, + None => { + if !ty.declaration().is_builtin() { + warn!("Could not find template definition for template \ + instantiation"); + } + return None + } }; let template_definition = |