1
2
3
4
5
6
7
8

use core::marker::PhantomData;

pub trait Trivial {}

impl Trivial for () {}
impl<T: ?Sized> Trivial for PhantomData<T> {}

pub fn assert_trivial<T: Trivial>() {}