mozilla/rust — pull request #6501 by june0cho (2013-05-15 12:36:19+00:00)
Title: Merge type_span and type_def, and ditto with value_span and value_def

Fix #3783.