1780 – Type tuple deduction failure for class templates

Type arguments of class templates should be deducible with the following:
template Tuple(Ts ...) { alias Ts Tuple; }
template Decode( T ) { alias Tuple!() Types; }
template Decode( T : TT!(Us), alias TT, Us... ) { alias Us Types; }
struct S2(T1, T2) {}
// should extract tuple (bool,short) but matches the first specialisation
alias Decode!( S2!(bool,short) ).Types SQ2; // --> SQ2 is empty tuple!
-----------------
Issue #1779 tries to workaround this failure by decoding a fixed number of arguments but even that crashes the compiler.

https://github.com/D-Programming-Language/dmd/pull/958 

Commits pushed to master at https://github.com/D-Programming-Language/dmd
https://github.com/D-Programming-Language/dmd/commit/71785b48ea16a47e62654f1134cff2eac372f7dc
fix Issue 1780 - Type tuple deduction failure for class templates
https://github.com/D-Programming-Language/dmd/commit/ed68238cd1e5a7aec454840ee11e04580f974855
Merge pull request #958 from 9rnsr/fix_tided
Issue 1780 & 3608 & 8125 - Fix TypeInstance deduction problems