Unnamed repository; edit this file 'description' to name the repository.
Rollup merge of #138588 - nnethercote:avoid-double-lower_ident, r=compiler-errors
Avoid double lowering of idents
It's easy to double lower idents and spans because they don't change type when lowered.
r? `@cjgillot`
