Formatter: Remove unnecessary group (#8455)

This commit is contained in:
Micha Reiser 2023-11-03 13:14:29 +09:00 committed by GitHub
parent d04d964ace
commit f16505d885
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 1 additions and 24 deletions

View file

@ -2516,33 +2516,10 @@ impl Parameters {
}
}
#[allow(clippy::borrowed_box)] // local utility
fn clone_boxed_expr(expr: &Box<Expr>) -> Box<Expr> {
let expr: &Expr = expr.as_ref();
Box::new(expr.clone())
}
impl ParameterWithDefault {
pub fn as_parameter(&self) -> &Parameter {
&self.parameter
}
pub fn to_parameter(&self) -> (Parameter, Option<Box<Expr>>) {
let ParameterWithDefault {
range: _,
parameter,
default,
} = self;
(parameter.clone(), default.as_ref().map(clone_boxed_expr))
}
pub fn into_parameter(self) -> (Parameter, Option<Box<Expr>>) {
let ParameterWithDefault {
range: _,
parameter,
default,
} = self;
(parameter, default)
}
}
impl Parameters {