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

Fixes #3822.