>>87
規格書は typedef 宣言時の不完全型について言及していないけど
逆に言うと不完全型であってはならないという記述もないよ。
型の類義語を定義するとだけ書いてる。

それに K&R の typedef の解説ですでに以下の使い方をしていて
typedef に対して不完全型が使えないと K&R のソースコードさえ
通らないことになってしまう。

typedef struct tnode *Treeptr;
typedef struct tnode {
char *word;
int count;
Treeptr left;
Treeptr right;
} Treenode;