https://issues.dlang.org/show_bug.cgi?id=20877
Issue ID: 20877 Summary: Type deduction doesn't work for Alias Template Parameters Product: D Version: D2 Hardware: All OS: All Status: NEW Keywords: rejects-valid Severity: normal Priority: P1 Component: dmd Assignee: nob...@puremagic.com Reporter: b2.t...@gmx.com The addition brought by https://github.com/dlang/dmd/pull/9769 didn't handle all the details. while specialization should work now (since https://github.com/dlang/dmd/pull/11193), deduction based on specialization is still missing. test case: --- void main() { void foo(alias T: int)(T t){} foo(1); } --- --