Correct. There’s no “no separation” contact currently but workarounds exist: No separation contact
However, they are only needed if you want to allow sliding and only prevent separation. Otherwise, you can just use tied contact or tie constraints (similar effect, different formulation).