I'm sure I've seen some old British BS546 15-amp (round-pin) outlets which had a similar feature of locking the switch in that way, but I might be imagining things.

What was the second switch used for in a typical application? Lighting?