diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/ir/named.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ir/named.rs b/src/ir/named.rs index 39fa2201..17f46eca 100644 --- a/src/ir/named.rs +++ b/src/ir/named.rs @@ -481,6 +481,10 @@ impl<'ctx, 'gen> MonotoneFramework for UsedTemplateParameters<'ctx, 'gen> { if used_by_def.contains(param) { debug!(" param is used by template definition"); + let arg = arg.into_resolver() + .through_type_refs() + .through_type_aliases() + .resolve(self.ctx); if let Some(named) = arg.as_named(self.ctx, &()) { debug!(" arg is a type parameter, marking used"); used_by_this_id.insert(named); |