<SomeData as SomeTrait> :: User是什么意思？

Question

我一直在分析一些代码，无法理解这意味着什么：

pub type AccountId = <SomeData as SomeTrait>::User;

追踪声明并遵循以下来源：

pub struct SomeData(pub [u8; 64]);

在另一个地方：

pub trait SomeTrait {
    type User;
    fn verify<&Self::User) -> bool;
}

那是什么意思？

<SomeData as SomeTrait>::User

它像是指向type User定义内的SomeTrait定义的指针吗？在文档中这东西在哪里解释？