By the time the error appears, the CondExp has been const-folded down to e1, and it's giving the right line for that expression.  I think changing the loc during const-folding to match the parent expression would be a different issue.