// RUN: %clang_cc1 -fsyntax-only -verify %s

#ifdef BE_THE_HEADER
#pragma clang system_header

template <typename T>
struct traits;

template <>
struct [[deprecated]] traits<int> {}; // expected-note {{'traits<int>' has been explicitly marked deprecated here}}

template<typename T, typename Trait = traits<T>>  // expected-warning {{'traits<int>' is deprecated}}
struct basic_string {};

// should not warn, defined and used in system headers
using __do_what_i_say_not_what_i_do  = traits<int> ;

template<typename T, typename Trait = traits<double>>
struct should_not_warn {};

#else
#define BE_THE_HEADER
#include __FILE__

basic_string<int> test1; // expected-note {{in instantiation of default argument for 'basic_string<int>' required here}}
should_not_warn<int> test2;

#endif