[LLVMbugs] [Bug 16383] New: Accepts-invalid with template template parameter shadowing template parameter

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=16383

            Bug ID: 16383
           Summary: Accepts-invalid with template template parameter
                    shadowing template parameter
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++
          Assignee: unassignedclangbugs at nondot.org
          Reporter: sharparrow1 at yahoo.com
                CC: dgregor at apple.com, llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Testcase:

template<typename T> struct X {
  T x;
  template< template <typename X> class T> class Y {
    T<void> x;
  };
};
X<int>::Y<X> x;

clang accepts this, gcc rejects it.  Pretty sure this isn't well-formed per
[temp.local].

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20130620/0d8bde59/attachment.html>