It doesn't matter if it's built into the system.  I can still borrow the coins outside the system from anybody willing to lend them to me, and then immediately sell them.  That's all a short sale is.