// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s

template<typename T> using U = T;

using I = U<U<U<U<int>>>>;
using I = int;

template<typename A, typename B> using Fst = A;
template<typename A, typename B> using Snd = B;

using I = Fst<Snd<char,int>,double>;

namespace StdExample {
  // Prerequisites for example.
  template<class T, class A> struct vector { /* ... */ };


  template<class T> struct Alloc {};
  template<class T> using Vec = vector<T, Alloc<T>>;
  Vec<int> v;

  template<class T>
    void process(Vec<T>& v) // expected-note {{previous definition is here}}
    { /* ... */ }

  template<class T>
    void process(vector<T, Alloc<T>>& w) // expected-error {{redefinition of 'process'}}
    { /* ... */ }

  template<template<class> class TT>
    void f(TT<int>); // expected-note {{candidate template ignored}}

  template<template<class,class> class TT>
    void g(TT<int, Alloc<int>>);

  int h() {
    f(v); // expected-error {{no matching function for call to 'f'}}
    g(v); // OK: TT = vector
  }


  // v's type is same as vector<int, Alloc<int>>.
  using VTest = vector<int, Alloc<int>>;
  using VTest = decltype(v);
}