566ad8da45
Version 5 adds Branch Regions which are a prerequisite for branch coverage. Version 6 can use the zeroth filename as prefix for other relative files.
For more information about how rustc works, see the rustc dev guide.