blob: 7b02a89e5de7e7ff06927c588ae00405a3cc548a [file] [log] [blame]
mod globs;
mod incremental;
mod macros;
mod mod_resolution;
mod primitives;
use base_db::SourceDatabase;
use expect_test::{expect, Expect};
use test_fixture::WithFixture;
use triomphe::Arc;
use crate::{db::DefDatabase, nameres::DefMap, test_db::TestDB};
fn compute_crate_def_map(ra_fixture: &str) -> Arc<DefMap> {
let db = TestDB::with_files(ra_fixture);
let krate = db.crate_graph().iter().next().unwrap();
db.crate_def_map(krate)
}
fn render_crate_def_map(ra_fixture: &str) -> String {
let db = TestDB::with_files(ra_fixture);
let krate = db.crate_graph().iter().next().unwrap();
db.crate_def_map(krate).dump(&db)
}
fn check(ra_fixture: &str, expect: Expect) {
let actual = render_crate_def_map(ra_fixture);
expect.assert_eq(&actual);
}
#[test]
fn crate_def_map_smoke_test() {
check(
r#"
//- /lib.rs
mod foo;
struct S;
use crate::foo::bar::E;
use self::E::V;
//- /foo/mod.rs
pub mod bar;
fn f() {}
//- /foo/bar.rs
pub struct Baz;
union U { to_be: bool, not_to_be: u8 }
enum E { V }
extern {
type Ext;
static EXT: u8;
fn ext();
}
"#,
expect![[r#"
crate
E: _
S: t v
V: _
foo: t
crate::foo
bar: t
f: v
crate::foo::bar
Baz: t v
E: t
EXT: v
Ext: t
U: t
ext: v
"#]],
);
}
#[test]
fn crate_def_map_super_super() {
check(
r#"
mod a {
const A: usize = 0;
mod b {
const B: usize = 0;
mod c {
use super::super::*;
}
}
}
"#,
expect![[r#"
crate
a: t
crate::a
A: v
b: t
crate::a::b
B: v
c: t
crate::a::b::c
A: v
b: t
"#]],
);
}
#[test]
fn crate_def_map_fn_mod_same_name() {
check(
r#"
mod m {
pub mod z {}
pub fn z() {}
}
"#,
expect![[r#"
crate
m: t
crate::m
z: t v
crate::m::z
"#]],
);
}
#[test]
fn bogus_paths() {
cov_mark::check!(bogus_paths);
check(
r#"
//- /lib.rs
mod foo;
struct S;
use self;
//- /foo/mod.rs
use super;
use crate;
"#,
expect![[r#"
crate
S: t v
foo: t
crate::foo
"#]],
);
}
#[test]
fn use_as() {
check(
r#"
//- /lib.rs
mod foo;
use crate::foo::Baz as Foo;
//- /foo/mod.rs
pub struct Baz;
"#,
expect![[r#"
crate
Foo: ti vi
foo: t
crate::foo
Baz: t v
"#]],
);
}
#[test]
fn use_trees() {
check(
r#"
//- /lib.rs
mod foo;
use crate::foo::bar::{Baz, Quux};
//- /foo/mod.rs
pub mod bar;
//- /foo/bar.rs
pub struct Baz;
pub enum Quux {};
"#,
expect![[r#"
crate
Baz: ti vi
Quux: ti
foo: t
crate::foo
bar: t
crate::foo::bar
Baz: t v
Quux: t
"#]],
);
}
#[test]
fn re_exports() {
check(
r#"
//- /lib.rs
mod foo;
use self::foo::Baz;
//- /foo/mod.rs
pub mod bar;
pub use self::bar::Baz;
//- /foo/bar.rs
pub struct Baz;
"#,
expect![[r#"
crate
Baz: ti vi
foo: t
crate::foo
Baz: ti vi
bar: t
crate::foo::bar
Baz: t v
"#]],
);
}
#[test]
fn std_prelude() {
cov_mark::check!(std_prelude);
check(
r#"
//- /main.rs crate:main deps:test_crate
#[prelude_import]
use ::test_crate::prelude::*;
use Foo::*;
//- /lib.rs crate:test_crate
pub mod prelude;
//- /prelude.rs
pub enum Foo { Bar, Baz }
"#,
expect![[r#"
crate
Bar: t v
Baz: t v
"#]],
);
}
#[test]
fn can_import_enum_variant() {
cov_mark::check!(can_import_enum_variant);
check(
r#"
enum E { V }
use self::E::V;
"#,
expect![[r#"
crate
E: t
V: ti vi
"#]],
);
}
#[test]
fn edition_2015_imports() {
check(
r#"
//- /main.rs crate:main deps:other_crate edition:2015
mod foo;
mod bar;
//- /bar.rs
struct Bar;
//- /foo.rs
use bar::Bar;
use other_crate::FromLib;
//- /lib.rs crate:other_crate edition:2018
pub struct FromLib;
"#,
expect![[r#"
crate
bar: t
foo: t
crate::bar
Bar: t v
crate::foo
Bar: _
FromLib: ti vi
"#]],
);
}
#[test]
fn item_map_using_self() {
check(
r#"
//- /lib.rs
mod foo;
use crate::foo::bar::Baz::{self};
//- /foo/mod.rs
pub mod bar;
//- /foo/bar.rs
pub struct Baz;
"#,
expect![[r#"
crate
Baz: ti
foo: t
crate::foo
bar: t
crate::foo::bar
Baz: t v
"#]],
);
}
#[test]
fn item_map_across_crates() {
check(
r#"
//- /main.rs crate:main deps:test_crate
use test_crate::Baz;
//- /lib.rs crate:test_crate
pub struct Baz;
"#,
expect![[r#"
crate
Baz: ti vi
"#]],
);
}
#[test]
fn extern_crate_rename() {
check(
r#"
//- /main.rs crate:main deps:alloc
extern crate alloc as alloc_crate;
mod alloc;
mod sync;
//- /sync.rs
use alloc_crate::Arc;
//- /lib.rs crate:alloc
pub struct Arc;
"#,
expect![[r#"
crate
alloc: t
alloc_crate: te
sync: t
crate::alloc
crate::sync
Arc: ti vi
"#]],
);
}
#[test]
fn extern_crate_rename_2015_edition() {
check(
r#"
//- /main.rs crate:main deps:alloc edition:2015
extern crate alloc as alloc_crate;
mod alloc;
mod sync;
//- /sync.rs
use alloc_crate::Arc;
//- /lib.rs crate:alloc
pub struct Arc;
"#,
expect![[r#"
crate
alloc: t
alloc_crate: te
sync: t
crate::alloc
crate::sync
Arc: ti vi
"#]],
);
}
#[test]
fn macro_use_extern_crate_self() {
check(
r#"
//- /main.rs crate:main
#[macro_use]
extern crate self as bla;
"#,
expect![[r#"
crate
bla: te
"#]],
);
}
#[test]
fn reexport_across_crates() {
check(
r#"
//- /main.rs crate:main deps:test_crate
use test_crate::Baz;
//- /lib.rs crate:test_crate
pub use foo::Baz;
mod foo;
//- /foo.rs
pub struct Baz;
"#,
expect![[r#"
crate
Baz: ti vi
"#]],
);
}
#[test]
fn values_dont_shadow_extern_crates() {
check(
r#"
//- /main.rs crate:main deps:foo
fn foo() {}
use foo::Bar;
//- /foo/lib.rs crate:foo
pub struct Bar;
"#,
expect![[r#"
crate
Bar: ti vi
foo: v
"#]],
);
}
#[test]
fn no_std_prelude() {
check(
r#"
//- /main.rs edition:2018 crate:main deps:core,std
#![cfg_attr(not(never), no_std)]
use Rust;
//- /core.rs crate:core
pub mod prelude {
pub mod rust_2018 {
pub struct Rust;
}
}
//- /std.rs crate:std deps:core
pub mod prelude {
pub mod rust_2018 {
}
}
"#,
expect![[r#"
crate
Rust: ti vi
"#]],
);
}
#[test]
fn edition_specific_preludes() {
// We can't test the 2015 prelude here since you can't reexport its contents with 2015's
// absolute paths.
check(
r#"
//- /main.rs edition:2018 crate:main deps:std
use Rust2018;
//- /std.rs crate:std
pub mod prelude {
pub mod rust_2018 {
pub struct Rust2018;
}
}
"#,
expect![[r#"
crate
Rust2018: ti vi
"#]],
);
check(
r#"
//- /main.rs edition:2021 crate:main deps:std
use Rust2021;
//- /std.rs crate:std
pub mod prelude {
pub mod rust_2021 {
pub struct Rust2021;
}
}
"#,
expect![[r#"
crate
Rust2021: ti vi
"#]],
);
}
#[test]
fn std_prelude_takes_precedence_above_core_prelude() {
check(
r#"
//- /main.rs edition:2018 crate:main deps:core,std
use {Foo, Bar};
//- /std.rs crate:std deps:core
pub mod prelude {
pub mod rust_2018 {
pub struct Foo;
pub use core::prelude::rust_2018::Bar;
}
}
//- /core.rs crate:core
pub mod prelude {
pub mod rust_2018 {
pub struct Bar;
}
}
"#,
expect![[r#"
crate
Bar: ti vi
Foo: ti vi
"#]],
);
}
#[test]
fn cfg_not_test() {
check(
r#"
//- /main.rs edition:2018 crate:main deps:std
use {Foo, Bar, Baz};
//- /lib.rs crate:std
pub mod prelude {
pub mod rust_2018 {
#[cfg(test)]
pub struct Foo;
#[cfg(not(test))]
pub struct Bar;
#[cfg(all(not(any()), feature = "foo", feature = "bar", opt = "42"))]
pub struct Baz;
}
}
"#,
expect![[r#"
crate
Bar: ti vi
Baz: _
Foo: _
"#]],
);
}
#[test]
fn cfg_test() {
check(
r#"
//- /main.rs edition:2018 crate:main deps:std
use {Foo, Bar, Baz};
//- /lib.rs crate:std cfg:test,feature=foo,feature=bar,opt=42
pub mod prelude {
pub mod rust_2018 {
#[cfg(test)]
pub struct Foo;
#[cfg(not(test))]
pub struct Bar;
#[cfg(all(not(any()), feature = "foo", feature = "bar", opt = "42"))]
pub struct Baz;
}
}
"#,
expect![[r#"
crate
Bar: _
Baz: ti vi
Foo: ti vi
"#]],
);
}
#[test]
fn infer_multiple_namespace() {
check(
r#"
//- /main.rs
mod a {
pub type T = ();
pub use crate::b::*;
}
use crate::a::T;
mod b {
pub const T: () = ();
}
"#,
expect![[r#"
crate
T: ti vi
a: t
b: t
crate::a
T: t v
crate::b
T: v
"#]],
);
}
#[test]
fn underscore_import() {
check(
r#"
//- /main.rs
use tr::Tr as _;
use tr::Tr2 as _;
mod tr {
pub trait Tr {}
pub trait Tr2 {}
}
"#,
expect![[r#"
crate
_: t
_: t
tr: t
crate::tr
Tr: t
Tr2: t
"#]],
);
}
#[test]
fn underscore_reexport() {
check(
r#"
//- /main.rs
mod tr {
pub trait PubTr {}
pub trait PrivTr {}
}
mod reex {
use crate::tr::PrivTr as _;
pub use crate::tr::PubTr as _;
}
use crate::reex::*;
"#,
expect![[r#"
crate
_: t
reex: t
tr: t
crate::reex
_: t
_: t
crate::tr
PrivTr: t
PubTr: t
"#]],
);
}
#[test]
fn underscore_pub_crate_reexport() {
cov_mark::check!(upgrade_underscore_visibility);
check(
r#"
//- /main.rs crate:main deps:lib
use lib::*;
//- /lib.rs crate:lib
use tr::Tr as _;
pub use tr::Tr as _;
mod tr {
pub trait Tr {}
}
"#,
expect![[r#"
crate
_: t
"#]],
);
}
#[test]
fn underscore_nontrait() {
check(
r#"
//- /main.rs
mod m {
pub struct Struct;
pub enum Enum {}
pub const CONST: () = ();
}
use crate::m::{Struct as _, Enum as _, CONST as _};
"#,
expect![[r#"
crate
m: t
crate::m
CONST: v
Enum: t
Struct: t v
"#]],
);
}
#[test]
fn underscore_name_conflict() {
check(
r#"
//- /main.rs
struct Tr;
use tr::Tr as _;
mod tr {
pub trait Tr {}
}
"#,
expect![[r#"
crate
_: t
Tr: t v
tr: t
crate::tr
Tr: t
"#]],
);
}
#[test]
fn cfg_the_entire_crate() {
check(
r#"
//- /main.rs
#![cfg(never)]
pub struct S;
pub enum E {}
pub fn f() {}
"#,
expect![[r#"
crate
"#]],
);
}
#[test]
fn use_crate_as() {
check(
r#"
use crate as foo;
use foo::bar as baz;
fn bar() {}
"#,
expect![[r#"
crate
bar: v
baz: vi
foo: ti
"#]],
);
}
#[test]
fn self_imports_only_types() {
check(
r#"
//- /main.rs
mod m {
pub macro S() {}
pub struct S;
}
use self::m::S::{self};
"#,
expect![[r#"
crate
S: ti
m: t
crate::m
S: t v m
"#]],
);
}
#[test]
fn import_from_extern_crate_only_imports_public_items() {
check(
r#"
//- /lib.rs crate:lib deps:settings,macros
use macros::settings;
use settings::Settings;
//- /settings.rs crate:settings
pub struct Settings;
//- /macros.rs crate:macros
mod settings {}
pub const settings: () = ();
"#,
expect![[r#"
crate
Settings: ti vi
settings: vi
"#]],
)
}
#[test]
fn non_prelude_deps() {
check(
r#"
//- /lib.rs crate:lib deps:dep extern-prelude:
use dep::Struct;
//- /dep.rs crate:dep
pub struct Struct;
"#,
expect![[r#"
crate
Struct: _
"#]],
);
check(
r#"
//- /lib.rs crate:lib deps:dep extern-prelude:
extern crate dep;
use dep::Struct;
//- /dep.rs crate:dep
pub struct Struct;
"#,
expect![[r#"
crate
Struct: ti vi
dep: te
"#]],
);
}
#[test]
fn braced_supers_in_use_tree() {
cov_mark::check!(concat_super_mod_paths);
check(
r#"
mod some_module {
pub fn unknown_func() {}
}
mod other_module {
mod some_submodule {
use { super::{ super::unknown_func, }, };
}
}
use some_module::unknown_func;
"#,
expect![[r#"
crate
other_module: t
some_module: t
unknown_func: vi
crate::other_module
some_submodule: t
crate::other_module::some_submodule
unknown_func: vi
crate::some_module
unknown_func: v
"#]],
)
}