mozilla/rust — pull request #3824 by jdm (2012-10-21 07:46:55+00:00)
Title: Fix unique pointers occuring in unreachable blocks

Fixes #3822.