#![crate_type="lib"]

trait EmptyTrait {}

trait Const {
    type UAssoc;
    const UCONST: Self::UAssoc;
}

impl<A: EmptyTrait + std::marker::Sized> Const for A
where
    A: EmptyTrait,
    A: std::marker::Sized,
{
    type UAssoc = u32;
    const UCONST: u32 = 5;
}