// RUN: %clang_cc1 -fsyntax-only -verify %s 
// expected-no-diagnostics
template<typename> struct Y1;
template<typename, int> struct Y2;

template<class T1, class T2 = int> class B2; 
template<class T1 = int, class T2> class B2;

template<template<class, int> class, template<class> class = Y1> class B2t;
template<template<class, int> class = Y2, template<class> class> class B2t;

template<int N, int M = 5> class B2n;
template<int N = 5, int M> class B2n;