Revert "[Feature #6012] Extend source_location for end position
#5703
| Job | Run time |
|---|---|
| 4s | |
| 23m 43s | |
| 28m 18s | |
| 29m 7s | |
| 36m 53s | |
| 28m 48s | |
| 26m 21s | |
| 14m 37s | |
| 29m 4s | |
| 35m 42s | |
| 36m 3s | |
| 25m 20s | |
| 29m 23s | |
| 3s | |
| 5h 43m 26s |