Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix comment on Ord for SourceId (#15103)
### What does this PR try to resolve? In PR #14980, the Ord impl for SourceId was changed, but the comment wasn’t updated. So it is now incorrect. This PR updates the comment to match the implementation. ### How should we test and review this PR? Read the Ord for SourceId code and make sure the updated comment describes what it does. ### Additional information None
- Loading branch information