use &str / String literals instead of format!()
tcx.mk_const
kind
For more information about how rustc works, see the rustc dev guide.
Matthias Krüger