>>641
ふむ。 typedef では完全な定義は要らないのでインスタンス化は起こらなさそうだな。
ただ、規格中にはっきりとした記述が見当たらない。

未定義じゃなくてコンパイルエラーになってくれればいいんだけど、例えば

class T
{
public:
　... // public interface
private:
　class Impl;
　std::auto_ptr<Impl> pimpl;
};

なんて pimpl の雛型を書くと、ほとんどの実装でコンパイルは通るが
厳密に規格と照らし合わせると未定義動作になる。