Function gf::smt::simplifier::remove_trivial_slice

pub fn remove_trivial_slice(expr: Expr) -> Result<Expr, Expr>

⚪ Remove a slice that encompasses the entire operand.