trait Test<T> {
    const FOO: T;
}
impl Test<u32> for String {
    const FOO: u32 = 42;
}