1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
use hir_def::DefWithBodyId;
use test_fixture::WithFixture;
use crate::{db::HirDatabase, setup_tracing, test_db::TestDB};
fn lower_mir(#[rust_analyzer::rust_fixture] ra_fixture: &str) {
let _tracing = setup_tracing();
let (db, file_ids) = TestDB::with_many_files(ra_fixture);
crate::attach_db(&db, || {
let file_id = *file_ids.last().unwrap();
let module_id = db.module_for_file(file_id.file_id(&db));
let def_map = module_id.def_map(&db);
let scope = &def_map[module_id].scope;
let funcs = scope.declarations().filter_map(|x| match x {
hir_def::ModuleDefId::FunctionId(it) => Some(it),
_ => None,
});
for func in funcs {
_ = db.mir_body(func.into());
}
})
}
#[test]
fn dyn_projection_with_auto_traits_regression_next_solver() {
lower_mir(
r#"
//- minicore: sized, send
pub trait Deserializer {}
pub trait Strictest {
type Object: ?Sized;
}
impl Strictest for dyn CustomValue {
type Object = dyn CustomValue + Send;
}
pub trait CustomValue: Send {}
impl CustomValue for () {}
struct Box<T: ?Sized>;
type DeserializeFn<T> = fn(&mut dyn Deserializer) -> Box<T>;
fn foo() {
(|deserializer| Box::new(())) as DeserializeFn<<dyn CustomValue as Strictest>::Object>;
}
"#,
);
}
fn check_borrowck(#[rust_analyzer::rust_fixture] ra_fixture: &str) {
let _tracing = setup_tracing();
let (db, file_ids) = TestDB::with_many_files(ra_fixture);
crate::attach_db(&db, || {
let file_id = *file_ids.last().unwrap();
let module_id = db.module_for_file(file_id.file_id(&db));
let def_map = module_id.def_map(&db);
let scope = &def_map[module_id].scope;
let mut bodies: Vec<DefWithBodyId> = Vec::new();
for decl in scope.declarations() {
if let hir_def::ModuleDefId::FunctionId(f) = decl {
bodies.push(f.into());
}
}
for impl_id in scope.impls() {
let impl_items = impl_id.impl_items(&db);
for (_, item) in impl_items.items.iter() {
if let hir_def::AssocItemId::FunctionId(f) = item {
bodies.push((*f).into());
}
}
}
for body in bodies {
let _ = db.borrowck(body);
}
})
}
#[test]
fn regression_21173_const_generic_impl_with_assoc_type() {
check_borrowck(
r#"
pub trait Tr {
type Assoc;
fn f(&self, handle: Self::Assoc) -> i32;
}
pub struct ConstGeneric<const N: usize>;
impl<const N: usize> Tr for &ConstGeneric<N> {
type Assoc = AssocTy;
fn f(&self, a: Self::Assoc) -> i32 {
a.x
}
}
pub struct AssocTy {
x: i32,
}
"#,
);
}
|