Peel alias for auto variables

snazzy-d · Jul 31, 2016 · caaf621 · caaf621
1 parent f465864
commit caaf621
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/libd/src/d/semantic/symbol.d b/libd/src/d/semantic/symbol.d
@@ -350,7 +350,12 @@ struct SymbolAnalyzer {
 
 	private void analyzeVarLike(V)(VariableDeclaration d, V v) {
 		auto value = getValue(d);
-		v.type = value.type;
+
+		// We peel alias for auto variable as it can lead to
+		// very confusing results, like a template parameter.
+		v.type = d.type.isAuto
+			? value.type.getCanonical()
+			: value.type;
 
 		assert(value);
 		static if (is(typeof(v.value) : CompileTimeExpression)) {