// PR c++/79316
// { dg-do compile { target c++17 } }

  template<typename T> struct S { S(T t) {} };
  template<typename T> S(T, int = 7) -> S<T>;