Function type_equalities::refl

pub const fn refl<T: ?Sized>() -> TypeEq<T, T>

Construct evidence of the reflexive equality T == T.

There is also a constructor-like version of this, TypeEq::refl.