Merge type_span and type_def, and ditto with value_span and value_def#6501

june0cho wants to merge 1 commit intorust-lang:incomingrust-lang/rust:incomingfrom

june0cho:incomingCopy head branch name to clipboard