macro_rules! trivially_parameterized_over_tcx {
    ($($ty:ty),+ $(,)?) => { ... };
}