Function Subspace :: sus :: ptr :: operator==

template <class T, class U>
auto operator==(const NonNull<T>& l, const NonNull<U>& r) -> bool
requires
sus::cmp::Eq<const T *, const U *>

Satisfies the Eq<NonNull<T>, NonNull<U>> concept if the pointers are comparable and thus satisfy Eq as well.