// RUN: %clang_cc1 -fsyntax-only -verify %s 
// expected-no-diagnostics

// The scope of atemplate-parameterextends from its point of
// declaration until the end of its template. In particular, a
// template-parameter can be used in the declaration of subsequent
// template-parameters and their default arguments.

template<class T, T* p, class U = T> class X { /* ... */ }; 
// FIXME: template<class T> void f(T* p = new T); 

// Check for bogus template parameter shadow warning.
template<template<class T> class,
         template<class T> class>
  class B1noshadow;