That's reassuring to know. So my Tisas is correctly fitted.
However, on all of my original WW2 guns (Colt, Remington-Rand, and Ithaca, all in excellent condition), the slide can be released with an empty magazine fully inserted. Yes, they lock back, but that can be overridden by pressing down...