fork(2) download

copy

#include <iostream>
using namespace std;
 
enum Mutability {Const, Non_Const};
 
template <typename T, Mutability U>
class Obj
{
public:
    template <Mutability V>
    class Ref
    {
    public:
        Ref() {}
 
        friend class Obj;
    };
 
    Obj() {}
};
 
template <typename T>
class Obj<T, Const>::Ref<Non_Const>
{
private:
    Ref() {}
}; //error C1001: An internal error has occurred in the compiler
 
int main()
{
    Obj<int, Const>::Ref<Non_Const> test;
}

prog.cpp:23:22: error: 'Ref' is not a class template
 class Obj<T, Const>::Ref<Non_Const>
                      ^
prog.cpp:24:1: error: qualified name does not name a class before '{' token
 {
 ^

Standard output is empty