Constant rustc_pretty_transitive_live_locals 

pub const rustc_pretty_transitive_live_locals: Symbol;