mozilla/rust — pull request #7325 by artagnon (2013-06-23 17:00:07+00:00)
Title: resolve: report duplicate-module errors

Fix #7322.

I started out with a band-aid approach to special-case the duplicate module error using `is_duplicate_module`, but thought this would be better in the long term.