pub type DynRestriction<'freeze, T> = Box<dyn Restriction2<<T as Freeze<'freeze>>::Kind>>;
pub struct DynRestriction<'freeze, T>(/* private fields */);