Implement vector destructuring from tail

Incorporated @nikomatsakis's comments from #4748.

Fix #4635.