rustc_span::symbol::sym

Constant mir_assume

Source 
pub const mir_assume: Symbol;