1
Fork 0

address review

This commit is contained in:
b-naber 2022-09-21 17:57:30 +02:00
parent 897adb8666
commit 6118ee343f
108 changed files with 214 additions and 213 deletions

View file

@ -2128,7 +2128,7 @@ impl<'tcx> FmtPrinter<'_, 'tcx> {
if let Some(name) = available_names.pop() {
name
} else {
Symbol::intern(&format!("'t{}", index - num_available))
Symbol::intern(&format!("'z{}", index - num_available))
}
}
@ -2161,7 +2161,8 @@ impl<'tcx> FmtPrinter<'_, 'tcx> {
define_scoped_cx!(self);
let possible_names = vec![Symbol::intern("'t"), Symbol::intern("'s"), Symbol::intern("'r")];
let possible_names =
('a'..='z').rev().map(|s| Symbol::intern(&format!("'{s}"))).collect::<Vec<_>>();
let mut available_names = possible_names
.into_iter()

View file

@ -1462,7 +1462,7 @@ impl<'tcx> Region<'tcx> {
ty::ReEarlyBound(ebr) => Some(ebr.name),
ty::ReLateBound(_, br) => br.kind.get_name(),
ty::ReFree(fr) => fr.bound_region.get_name(),
ty::ReStatic => Some(Symbol::intern("static")),
ty::ReStatic => Some(kw::StaticLifetime),
ty::RePlaceholder(placeholder) => placeholder.name.get_name(),
_ => None,
};