「ポインタ」にも型情報はないのでは？
現にNULLポインタには型情報がないし。
型情報を持っているのは「ポインタ変数」じゃないかと。