this does add some complexity, but to do otherwise would require unsized lvalues to have their own allocas, which would be ugly.