itsscb/rust-analyzer
1
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer.git synced 2025-10-01 11:31:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge #11152

Browse Source 
11152: internal: add more tests for entry points r=matklad a=matklad

bors r+
🤖

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
This commit is contained in:
bors[bot] 2022-01-01 16:03:24 +00:00 committed by GitHub
commit b8a632121b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 55 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
crates/hir_def/src/macro_expansion_tests/mbe/matching.rs
View File

@ -103,3 +103,22 @@ stringify!(;
"#]], "#]],
); );
} }
#[test]
fn range_patterns() {
// FIXME: rustc thinks there are three patterns here, not one.
check(
r#"
macro_rules! m {
($($p:pat)*) => (stringify!($($p |)*);)
}
m!(.. .. ..);
"#,
expect![[r#"
macro_rules! m {
($($p:pat)*) => (stringify!($($p |)*);)
}
stringify!(.. .. ..|);
"#]],
);
}

36
crates/parser/src/tests/entries.rs
View File

@ -21,12 +21,48 @@ fn stmt() {
check_prefix(PrefixEntryPoint::Stmt, "92; fn", "92"); check_prefix(PrefixEntryPoint::Stmt, "92; fn", "92");
check_prefix(PrefixEntryPoint::Stmt, "let _ = 92; 1", "let _ = 92"); check_prefix(PrefixEntryPoint::Stmt, "let _ = 92; 1", "let _ = 92");
check_prefix(PrefixEntryPoint::Stmt, "pub fn f() {} = 92", "pub fn f() {}"); check_prefix(PrefixEntryPoint::Stmt, "pub fn f() {} = 92", "pub fn f() {}");
check_prefix(PrefixEntryPoint::Stmt, "struct S;;", "struct S;");
check_prefix(PrefixEntryPoint::Stmt, "fn f() {};", "fn f() {}");
check_prefix(PrefixEntryPoint::Stmt, ";;;", ";"); check_prefix(PrefixEntryPoint::Stmt, ";;;", ";");
check_prefix(PrefixEntryPoint::Stmt, "+", "+"); check_prefix(PrefixEntryPoint::Stmt, "+", "+");
check_prefix(PrefixEntryPoint::Stmt, "@", "@"); check_prefix(PrefixEntryPoint::Stmt, "@", "@");
check_prefix(PrefixEntryPoint::Stmt, "loop {} - 1", "loop {}"); check_prefix(PrefixEntryPoint::Stmt, "loop {} - 1", "loop {}");
} }
#[test]
fn pat() {
check_prefix(PrefixEntryPoint::Pat, "x y", "x");
check_prefix(PrefixEntryPoint::Pat, "fn f() {}", "fn");
// FIXME: This one is wrong, we should consume only one pattern.
check_prefix(PrefixEntryPoint::Pat, ".. ..", ".. ..");
}
#[test]
fn ty() {
check_prefix(PrefixEntryPoint::Ty, "fn() foo", "fn()");
check_prefix(PrefixEntryPoint::Ty, "Clone + Copy + fn", "Clone + Copy +");
check_prefix(PrefixEntryPoint::Ty, "struct f", "struct");
}
#[test]
fn expr() {
check_prefix(PrefixEntryPoint::Expr, "92 92", "92");
check_prefix(PrefixEntryPoint::Expr, "+1", "+");
check_prefix(PrefixEntryPoint::Expr, "-1", "-1");
check_prefix(PrefixEntryPoint::Expr, "fn foo() {}", "fn");
check_prefix(PrefixEntryPoint::Expr, "#[attr] ()", "#[attr] ()");
}
#[test]
fn path() {
check_prefix(PrefixEntryPoint::Path, "foo::bar baz", "foo::bar");
check_prefix(PrefixEntryPoint::Path, "foo::<> baz", "foo::<>");
check_prefix(PrefixEntryPoint::Path, "foo<> baz", "foo<>");
check_prefix(PrefixEntryPoint::Path, "Fn() -> i32?", "Fn() -> i32");
// FIXME: this shouldn't be accepted as path actually.
check_prefix(PrefixEntryPoint::Path, "<_>::foo", "<_>::foo");
}
fn check_prefix(entry: PrefixEntryPoint, input: &str, prefix: &str) { fn check_prefix(entry: PrefixEntryPoint, input: &str, prefix: &str) {
let lexed = LexedStr::new(input); let lexed = LexedStr::new(input);
let input = lexed.to_input(); let input = lexed.to_input();