type A = Foo;
type B = ::Foo;
type C = self::Foo;
type D = super::Foo;