fix: recognize opaque constants of unit-like types as definitionally equal

fix: recognize opaque constants of unit-like types as definitionally equal #48293