質問です。

struct X {};
typedef X * Handle;
typedef const Handle HandleA;
typedef Handle const HandleB;

上記定義において、
HandleA と HandleB の型が同一であることは規格で保障されていますか？