mirror of
https://github.com/rust-lang/rust-analyzer
synced 2024-11-14 17:07:26 +00:00
Fill match arms for a tuple of a single enum.
This commit is contained in:
parent
042c248cc5
commit
8965be3d0e
2 changed files with 24 additions and 16 deletions
|
@ -71,12 +71,6 @@ pub(crate) fn fill_match_arms(acc: &mut Assists, ctx: &AssistContext) -> Option<
|
|||
return None;
|
||||
}
|
||||
|
||||
// We do not currently support filling match arms for a tuple
|
||||
// containing a single enum.
|
||||
if enum_defs.len() < 2 {
|
||||
return None;
|
||||
}
|
||||
|
||||
// When calculating the match arms for a tuple of enums, we want
|
||||
// to create a match arm for each possible combination of enum
|
||||
// values. The `multi_cartesian_product` method transforms
|
||||
|
@ -514,10 +508,7 @@ fn main() {
|
|||
|
||||
#[test]
|
||||
fn fill_match_arms_single_element_tuple_of_enum() {
|
||||
// For now we don't hande the case of a single element tuple, but
|
||||
// we could handle this in the future if `make::tuple_pat` allowed
|
||||
// creating a tuple with a single pattern.
|
||||
check_assist_not_applicable(
|
||||
check_assist(
|
||||
fill_match_arms,
|
||||
r#"
|
||||
enum A { One, Two }
|
||||
|
@ -528,6 +519,17 @@ fn main() {
|
|||
}
|
||||
}
|
||||
"#,
|
||||
r#"
|
||||
enum A { One, Two }
|
||||
|
||||
fn main() {
|
||||
let a = A::One;
|
||||
match (a, ) {
|
||||
$0(A::One,) => {}
|
||||
(A::Two,) => {}
|
||||
}
|
||||
}
|
||||
"#,
|
||||
);
|
||||
}
|
||||
|
||||
|
|
|
@ -29,9 +29,13 @@ pub fn ty(text: &str) -> ast::Type {
|
|||
pub fn ty_unit() -> ast::Type {
|
||||
ty("()")
|
||||
}
|
||||
// FIXME: handle types of length == 1
|
||||
pub fn ty_tuple(types: impl IntoIterator<Item = ast::Type>) -> ast::Type {
|
||||
let contents = types.into_iter().join(", ");
|
||||
let mut count: usize = 0;
|
||||
let mut contents = types.into_iter().inspect(|_| count += 1).join(", ");
|
||||
if count == 1 {
|
||||
contents.push(',');
|
||||
}
|
||||
|
||||
ty(&format!("({})", contents))
|
||||
}
|
||||
// FIXME: handle path to type
|
||||
|
@ -292,11 +296,13 @@ pub fn wildcard_pat() -> ast::WildcardPat {
|
|||
|
||||
/// Creates a tuple of patterns from an iterator of patterns.
|
||||
///
|
||||
/// Invariant: `pats` must be length > 1
|
||||
///
|
||||
/// FIXME handle `pats` length == 1
|
||||
/// Invariant: `pats` must be length > 0
|
||||
pub fn tuple_pat(pats: impl IntoIterator<Item = ast::Pat>) -> ast::TuplePat {
|
||||
let pats_str = pats.into_iter().map(|p| p.to_string()).join(", ");
|
||||
let mut count: usize = 0;
|
||||
let mut pats_str = pats.into_iter().inspect(|_| count += 1).join(", ");
|
||||
if count == 1 {
|
||||
pats_str.push(',');
|
||||
}
|
||||
return from_text(&format!("({})", pats_str));
|
||||
|
||||
fn from_text(text: &str) -> ast::TuplePat {
|
||||
|
|
Loading…
Reference in a new issue