Macro miri::helpers::convert::implementations::impl_narrower_than

macro_rules! impl_narrower_than {
    ($(NarrowerThan<{$($ty:ty),*}> for $self:ty)*) => { ... };
}