use std::{collections::HashMap, iter::successors};
use syntax::{
algo::neighbor,
- ast::{self, AstNode, HasName, MatchArm, Pat},
+ ast::{self, AstNode, HasName},
Direction,
};
)
}
-fn contains_placeholder(a: &MatchArm) -> bool {
+fn contains_placeholder(a: &ast::MatchArm) -> bool {
matches!(a.pat(), Some(ast::Pat::WildcardPat(..)))
}
) -> bool {
let arm_types = get_arm_types(&ctx, &arm);
for (other_arm_type_name, other_arm_type) in arm_types {
- if let (Some(Some(current_arm_type)), Some(other_arm_type)) =
- (current_arm_types.get(&other_arm_type_name), other_arm_type)
- {
- if other_arm_type.original != current_arm_type.original {
- return false;
+ match (current_arm_types.get(&other_arm_type_name), other_arm_type) {
+ (Some(Some(current_arm_type)), Some(other_arm_type))
+ if other_arm_type.original == current_arm_type.original =>
+ {
+ ()
}
- } else {
- // No corresponding field found
- return false;
+ _ => return false,
}
}
- return true;
+ true
}
-fn get_arm_types(context: &AssistContext, arm: &MatchArm) -> HashMap<String, Option<TypeInfo>> {
+fn get_arm_types(
+ context: &AssistContext,
+ arm: &ast::MatchArm,
+) -> HashMap<String, Option<TypeInfo>> {
let mut mapping: HashMap<String, Option<TypeInfo>> = HashMap::new();
fn recurse(
- pat: &Option<Pat>,
map: &mut HashMap<String, Option<TypeInfo>>,
ctx: &AssistContext,
+ pat: &Option<ast::Pat>,
) {
if let Some(local_pat) = pat {
match pat {
Some(ast::Pat::TupleStructPat(tuple)) => {
for field in tuple.fields() {
- recurse(&Some(field), map, ctx);
+ recurse(map, ctx, &Some(field));
}
}
Some(ast::Pat::TuplePat(tuple)) => {
for field in tuple.fields() {
- recurse(&Some(field), map, ctx);
+ recurse(map, ctx, &Some(field));
}
}
Some(ast::Pat::RecordPat(record)) => {
if let Some(field_list) = record.record_pat_field_list() {
for field in field_list.fields() {
- recurse(&field.pat(), map, ctx);
+ recurse(map, ctx, &field.pat());
}
}
}
Some(ast::Pat::ParenPat(parentheses)) => {
- recurse(&parentheses.pat(), map, ctx);
+ recurse(map, ctx, &parentheses.pat());
}
Some(ast::Pat::SlicePat(slice)) => {
for slice_pat in slice.pats() {
- recurse(&Some(slice_pat), map, ctx);
+ recurse(map, ctx, &Some(slice_pat));
}
}
Some(ast::Pat::IdentPat(ident_pat)) => {
}
}
- recurse(&arm.pat(), &mut mapping, &context);
- return mapping;
+ recurse(&mut mapping, &context, &arm.pat());
+ mapping
}
#[cfg(test)]
fn merge_match_arms_different_type() {
check_assist_not_applicable(
merge_match_arms,
- r#"//- minicore: result
+ r#"
+//- minicore: result
fn func() {
match Result::<f64, f32>::Ok(0f64) {
Ok(x) => $0x.classify(),
fn merge_match_arms_different_type_multiple_fields() {
check_assist_not_applicable(
merge_match_arms,
- r#"//- minicore: result
+ r#"
+//- minicore: result
fn func() {
match Result::<(f64, f64), (f32, f32)>::Ok((0f64, 0f64)) {
Ok(x) => $0x.1.classify(),
fn merge_match_arms_same_type_multiple_fields() {
check_assist(
merge_match_arms,
- r#"//- minicore: result
+ r#"
+//- minicore: result
fn func() {
match Result::<(f64, f64), (f64, f64)>::Ok((0f64, 0f64)) {
Ok(x) => $0x.1.classify(),
fn merge_match_arms_same_type_different_number_of_fields() {
check_assist_not_applicable(
merge_match_arms,
- r#"//- minicore: result
+ r#"
+//- minicore: result
fn func() {
match Result::<(f64, f64, f64), (f64, f64)>::Ok((0f64, 0f64, 0f64)) {
Ok(x) => $0x.1.classify(),