gcc/testsuite/g++.dg/cpp1z/class-deduction6.C

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

template <class T>
struct A
{
  int i;
};

struct B : A<int> {} b;

A a(b);