1 //RUN: %clang_cc1 -std=c++1z -verify -ast-print %s | FileCheck %s
2 
3 struct TypeSuffix {
4   template <long> static int x; // expected-note {{forward declaration of template entity is here}}
5   template <auto> static int y; // expected-note {{forward declaration of template entity is here}}
6 };
7 // CHECK: int k = TypeSuffix().x + TypeSuffix().y;
8 int k = TypeSuffix().x<0L> + TypeSuffix().y<0L>; // expected-warning {{instantiation of variable 'TypeSuffix::x<0>' required here, but no definition is available}} \
9                                                  // expected-note {{add an explicit instantiation declaration to suppress this warning if 'TypeSuffix::x<0>' is explicitly instantiated in another translation unit}} \
10                                                  // expected-warning {{instantiation of variable 'TypeSuffix::y<0L>' required here, but no definition is available}} \
11                                                  // expected-note {{add an explicit instantiation declaration to suppress this warning if 'TypeSuffix::y<0L>' is explicitly instantiated in another translation unit}}
12