Skip to content

Commit 5d84028

Browse files
bors[bot]jbalint
andauthored
Merge #4562
4562: Assist: replace anonymous lifetime with a named one r=matklad a=jbalint (fixes #4523) Co-authored-by: Jess Balint <jbalint@gmail.com>
2 parents 11f74f2 + bd8aa04 commit 5d84028

File tree

4 files changed

+354
-0
lines changed

4 files changed

+354
-0
lines changed
Lines changed: 303 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,303 @@
1+
use crate::{assist_context::AssistBuilder, AssistContext, AssistId, Assists};
2+
use ast::{NameOwner, ParamList, TypeAscriptionOwner, TypeParamList, TypeRef};
3+
use ra_syntax::{ast, ast::TypeParamsOwner, AstNode, SyntaxKind, TextRange, TextSize};
4+
use rustc_hash::FxHashSet;
5+
6+
static ASSIST_NAME: &str = "change_lifetime_anon_to_named";
7+
static ASSIST_LABEL: &str = "Give anonymous lifetime a name";
8+
9+
// Assist: change_lifetime_anon_to_named
10+
//
11+
// Change an anonymous lifetime to a named lifetime.
12+
//
13+
// ```
14+
// impl Cursor<'_<|>> {
15+
// fn node(self) -> &SyntaxNode {
16+
// match self {
17+
// Cursor::Replace(node) | Cursor::Before(node) => node,
18+
// }
19+
// }
20+
// }
21+
// ```
22+
// ->
23+
// ```
24+
// impl<'a> Cursor<'a> {
25+
// fn node(self) -> &SyntaxNode {
26+
// match self {
27+
// Cursor::Replace(node) | Cursor::Before(node) => node,
28+
// }
29+
// }
30+
// }
31+
// ```
32+
// FIXME: How can we handle renaming any one of multiple anonymous lifetimes?
33+
// FIXME: should also add support for the case fun(f: &Foo) -> &<|>Foo
34+
pub(crate) fn change_lifetime_anon_to_named(acc: &mut Assists, ctx: &AssistContext) -> Option<()> {
35+
let lifetime_token = ctx
36+
.find_token_at_offset(SyntaxKind::LIFETIME)
37+
.filter(|lifetime| lifetime.text() == "'_")?;
38+
if let Some(fn_def) = lifetime_token.ancestors().find_map(ast::FnDef::cast) {
39+
generate_fn_def_assist(acc, &fn_def, lifetime_token.text_range())
40+
} else if let Some(impl_def) = lifetime_token.ancestors().find_map(ast::ImplDef::cast) {
41+
// only allow naming the last anonymous lifetime
42+
lifetime_token.next_token().filter(|tok| tok.kind() == SyntaxKind::R_ANGLE)?;
43+
generate_impl_def_assist(acc, &impl_def, lifetime_token.text_range())
44+
} else {
45+
None
46+
}
47+
}
48+
49+
/// Generate the assist for the fn def case
50+
fn generate_fn_def_assist(
51+
acc: &mut Assists,
52+
fn_def: &ast::FnDef,
53+
lifetime_loc: TextRange,
54+
) -> Option<()> {
55+
let param_list: ParamList = fn_def.param_list()?;
56+
let new_lifetime_param = generate_unique_lifetime_param_name(&fn_def.type_param_list())?;
57+
let end_of_fn_ident = fn_def.name()?.ident_token()?.text_range().end();
58+
let self_param =
59+
// use the self if it's a reference and has no explicit lifetime
60+
param_list.self_param().filter(|p| p.lifetime_token().is_none() && p.amp_token().is_some());
61+
// compute the location which implicitly has the same lifetime as the anonymous lifetime
62+
let loc_needing_lifetime = if let Some(self_param) = self_param {
63+
// if we have a self reference, use that
64+
Some(self_param.self_token()?.text_range().start())
65+
} else {
66+
// otherwise, if there's a single reference parameter without a named liftime, use that
67+
let fn_params_without_lifetime: Vec<_> = param_list
68+
.params()
69+
.filter_map(|param| match param.ascribed_type() {
70+
Some(TypeRef::ReferenceType(ascribed_type))
71+
if ascribed_type.lifetime_token() == None =>
72+
{
73+
Some(ascribed_type.amp_token()?.text_range().end())
74+
}
75+
_ => None,
76+
})
77+
.collect();
78+
match fn_params_without_lifetime.len() {
79+
1 => Some(fn_params_without_lifetime.into_iter().nth(0)?),
80+
0 => None,
81+
// multiple unnnamed is invalid. assist is not applicable
82+
_ => return None,
83+
}
84+
};
85+
acc.add(AssistId(ASSIST_NAME), ASSIST_LABEL, lifetime_loc, |builder| {
86+
add_lifetime_param(fn_def, builder, end_of_fn_ident, new_lifetime_param);
87+
builder.replace(lifetime_loc, format!("'{}", new_lifetime_param));
88+
loc_needing_lifetime.map(|loc| builder.insert(loc, format!("'{} ", new_lifetime_param)));
89+
})
90+
}
91+
92+
/// Generate the assist for the impl def case
93+
fn generate_impl_def_assist(
94+
acc: &mut Assists,
95+
impl_def: &ast::ImplDef,
96+
lifetime_loc: TextRange,
97+
) -> Option<()> {
98+
let new_lifetime_param = generate_unique_lifetime_param_name(&impl_def.type_param_list())?;
99+
let end_of_impl_kw = impl_def.impl_token()?.text_range().end();
100+
acc.add(AssistId(ASSIST_NAME), ASSIST_LABEL, lifetime_loc, |builder| {
101+
add_lifetime_param(impl_def, builder, end_of_impl_kw, new_lifetime_param);
102+
builder.replace(lifetime_loc, format!("'{}", new_lifetime_param));
103+
})
104+
}
105+
106+
/// Given a type parameter list, generate a unique lifetime parameter name
107+
/// which is not in the list
108+
fn generate_unique_lifetime_param_name(
109+
existing_type_param_list: &Option<TypeParamList>,
110+
) -> Option<char> {
111+
match existing_type_param_list {
112+
Some(type_params) => {
113+
let used_lifetime_params: FxHashSet<_> = type_params
114+
.lifetime_params()
115+
.map(|p| p.syntax().text().to_string()[1..].to_owned())
116+
.collect();
117+
(b'a'..=b'z').map(char::from).find(|c| !used_lifetime_params.contains(&c.to_string()))
118+
}
119+
None => Some('a'),
120+
}
121+
}
122+
123+
/// Add the lifetime param to `builder`. If there are type parameters in `type_params_owner`, add it to the end. Otherwise
124+
/// add new type params brackets with the lifetime parameter at `new_type_params_loc`.
125+
fn add_lifetime_param<TypeParamsOwner: ast::TypeParamsOwner>(
126+
type_params_owner: &TypeParamsOwner,
127+
builder: &mut AssistBuilder,
128+
new_type_params_loc: TextSize,
129+
new_lifetime_param: char,
130+
) {
131+
match type_params_owner.type_param_list() {
132+
// add the new lifetime parameter to an existing type param list
133+
Some(type_params) => {
134+
builder.insert(
135+
(u32::from(type_params.syntax().text_range().end()) - 1).into(),
136+
format!(", '{}", new_lifetime_param),
137+
);
138+
}
139+
// create a new type param list containing only the new lifetime parameter
140+
None => {
141+
builder.insert(new_type_params_loc, format!("<'{}>", new_lifetime_param));
142+
}
143+
}
144+
}
145+
146+
#[cfg(test)]
147+
mod tests {
148+
use super::*;
149+
use crate::tests::{check_assist, check_assist_not_applicable};
150+
151+
#[test]
152+
fn test_example_case() {
153+
check_assist(
154+
change_lifetime_anon_to_named,
155+
r#"impl Cursor<'_<|>> {
156+
fn node(self) -> &SyntaxNode {
157+
match self {
158+
Cursor::Replace(node) | Cursor::Before(node) => node,
159+
}
160+
}
161+
}"#,
162+
r#"impl<'a> Cursor<'a> {
163+
fn node(self) -> &SyntaxNode {
164+
match self {
165+
Cursor::Replace(node) | Cursor::Before(node) => node,
166+
}
167+
}
168+
}"#,
169+
);
170+
}
171+
172+
#[test]
173+
fn test_example_case_simplified() {
174+
check_assist(
175+
change_lifetime_anon_to_named,
176+
r#"impl Cursor<'_<|>> {"#,
177+
r#"impl<'a> Cursor<'a> {"#,
178+
);
179+
}
180+
181+
#[test]
182+
fn test_example_case_cursor_after_tick() {
183+
check_assist(
184+
change_lifetime_anon_to_named,
185+
r#"impl Cursor<'<|>_> {"#,
186+
r#"impl<'a> Cursor<'a> {"#,
187+
);
188+
}
189+
190+
#[test]
191+
fn test_example_case_cursor_before_tick() {
192+
check_assist(
193+
change_lifetime_anon_to_named,
194+
r#"impl Cursor<<|>'_> {"#,
195+
r#"impl<'a> Cursor<'a> {"#,
196+
);
197+
}
198+
199+
#[test]
200+
fn test_not_applicable_cursor_position() {
201+
check_assist_not_applicable(change_lifetime_anon_to_named, r#"impl Cursor<'_><|> {"#);
202+
check_assist_not_applicable(change_lifetime_anon_to_named, r#"impl Cursor<|><'_> {"#);
203+
}
204+
205+
#[test]
206+
fn test_not_applicable_lifetime_already_name() {
207+
check_assist_not_applicable(change_lifetime_anon_to_named, r#"impl Cursor<'a<|>> {"#);
208+
check_assist_not_applicable(
209+
change_lifetime_anon_to_named,
210+
r#"fn my_fun<'a>() -> X<'a<|>>"#,
211+
);
212+
}
213+
214+
#[test]
215+
fn test_with_type_parameter() {
216+
check_assist(
217+
change_lifetime_anon_to_named,
218+
r#"impl<T> Cursor<T, '_<|>>"#,
219+
r#"impl<T, 'a> Cursor<T, 'a>"#,
220+
);
221+
}
222+
223+
#[test]
224+
fn test_with_existing_lifetime_name_conflict() {
225+
check_assist(
226+
change_lifetime_anon_to_named,
227+
r#"impl<'a, 'b> Cursor<'a, 'b, '_<|>>"#,
228+
r#"impl<'a, 'b, 'c> Cursor<'a, 'b, 'c>"#,
229+
);
230+
}
231+
232+
#[test]
233+
fn test_function_return_value_anon_lifetime_param() {
234+
check_assist(
235+
change_lifetime_anon_to_named,
236+
r#"fn my_fun() -> X<'_<|>>"#,
237+
r#"fn my_fun<'a>() -> X<'a>"#,
238+
);
239+
}
240+
241+
#[test]
242+
fn test_function_return_value_anon_reference_lifetime() {
243+
check_assist(
244+
change_lifetime_anon_to_named,
245+
r#"fn my_fun() -> &'_<|> X"#,
246+
r#"fn my_fun<'a>() -> &'a X"#,
247+
);
248+
}
249+
250+
#[test]
251+
fn test_function_param_anon_lifetime() {
252+
check_assist(
253+
change_lifetime_anon_to_named,
254+
r#"fn my_fun(x: X<'_<|>>)"#,
255+
r#"fn my_fun<'a>(x: X<'a>)"#,
256+
);
257+
}
258+
259+
#[test]
260+
fn test_function_add_lifetime_to_params() {
261+
check_assist(
262+
change_lifetime_anon_to_named,
263+
r#"fn my_fun(f: &Foo) -> X<'_<|>>"#,
264+
r#"fn my_fun<'a>(f: &'a Foo) -> X<'a>"#,
265+
);
266+
}
267+
268+
#[test]
269+
fn test_function_add_lifetime_to_params_in_presence_of_other_lifetime() {
270+
check_assist(
271+
change_lifetime_anon_to_named,
272+
r#"fn my_fun<'other>(f: &Foo, b: &'other Bar) -> X<'_<|>>"#,
273+
r#"fn my_fun<'other, 'a>(f: &'a Foo, b: &'other Bar) -> X<'a>"#,
274+
);
275+
}
276+
277+
#[test]
278+
fn test_function_not_applicable_without_self_and_multiple_unnamed_param_lifetimes() {
279+
// this is not permitted under lifetime elision rules
280+
check_assist_not_applicable(
281+
change_lifetime_anon_to_named,
282+
r#"fn my_fun(f: &Foo, b: &Bar) -> X<'_<|>>"#,
283+
);
284+
}
285+
286+
#[test]
287+
fn test_function_add_lifetime_to_self_ref_param() {
288+
check_assist(
289+
change_lifetime_anon_to_named,
290+
r#"fn my_fun<'other>(&self, f: &Foo, b: &'other Bar) -> X<'_<|>>"#,
291+
r#"fn my_fun<'other, 'a>(&'a self, f: &Foo, b: &'other Bar) -> X<'a>"#,
292+
);
293+
}
294+
295+
#[test]
296+
fn test_function_add_lifetime_to_param_with_non_ref_self() {
297+
check_assist(
298+
change_lifetime_anon_to_named,
299+
r#"fn my_fun<'other>(self, f: &Foo, b: &'other Bar) -> X<'_<|>>"#,
300+
r#"fn my_fun<'other, 'a>(self, f: &'a Foo, b: &'other Bar) -> X<'a>"#,
301+
);
302+
}
303+
}

crates/ra_assists/src/lib.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -112,6 +112,7 @@ mod handlers {
112112
mod add_turbo_fish;
113113
mod apply_demorgan;
114114
mod auto_import;
115+
mod change_lifetime_anon_to_named;
115116
mod change_return_type_to_result;
116117
mod change_visibility;
117118
mod early_return;
@@ -151,6 +152,7 @@ mod handlers {
151152
add_turbo_fish::add_turbo_fish,
152153
apply_demorgan::apply_demorgan,
153154
auto_import::auto_import,
155+
change_lifetime_anon_to_named::change_lifetime_anon_to_named,
154156
change_return_type_to_result::change_return_type_to_result,
155157
change_visibility::change_visibility,
156158
early_return::convert_to_guarded_return,

crates/ra_assists/src/tests/generated.rs

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -268,6 +268,31 @@ pub mod std { pub mod collections { pub struct HashMap { } } }
268268
)
269269
}
270270

271+
#[test]
272+
fn doctest_change_lifetime_anon_to_named() {
273+
check_doc_test(
274+
"change_lifetime_anon_to_named",
275+
r#####"
276+
impl Cursor<'_<|>> {
277+
fn node(self) -> &SyntaxNode {
278+
match self {
279+
Cursor::Replace(node) | Cursor::Before(node) => node,
280+
}
281+
}
282+
}
283+
"#####,
284+
r#####"
285+
impl<'a> Cursor<'a> {
286+
fn node(self) -> &SyntaxNode {
287+
match self {
288+
Cursor::Replace(node) | Cursor::Before(node) => node,
289+
}
290+
}
291+
}
292+
"#####,
293+
)
294+
}
295+
271296
#[test]
272297
fn doctest_change_return_type_to_result() {
273298
check_doc_test(

docs/user/assists.md

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -259,6 +259,30 @@ fn main() {
259259
}
260260
```
261261

262+
## `change_lifetime_anon_to_named`
263+
264+
Change an anonymous lifetime to a named lifetime.
265+
266+
```rust
267+
// BEFORE
268+
impl Cursor<'_┃> {
269+
fn node(self) -> &SyntaxNode {
270+
match self {
271+
Cursor::Replace(node) | Cursor::Before(node) => node,
272+
}
273+
}
274+
}
275+
276+
// AFTER
277+
impl<'a> Cursor<'a> {
278+
fn node(self) -> &SyntaxNode {
279+
match self {
280+
Cursor::Replace(node) | Cursor::Before(node) => node,
281+
}
282+
}
283+
}
284+
```
285+
262286
## `change_return_type_to_result`
263287

264288
Change the function's return type to Result.

0 commit comments

Comments
 (0)