Description Kory Markevich 2011-08-13 19:15:23 EDT

Build Identifier: I20110620-1631

The marked lines in the following code are marked with field resolution errors. As shown, there are no errors if they are declared in the source file itself rather than a header file.

Test.h
--------
template < typename T, int c > class A { };
template < typename T > class A< T, 1 > { T v; };

struct B {
    A< int, 1 > f;
};

extern A< int, 1 > b;

Test.cpp
--------
#include "Test.h"

struct C {
    A< int, 1 > f;
};

void f( )
{
    A< int, 1 > a;
    a.v = 1; // No error

    C d;
    d.f.v = 1; // No error

    b.v = 1; // Error: Field 'v' could not be resolved

    B c;
    c.f.v = 1; // Error: Field 'v' could not be resolved
}



Reproducible: Always