Merge adjustment inlay hints into one

This commit is contained in:
Lukas Wirth 2024-10-22 16:56:13 +02:00
parent 13acfbfae4
commit db60fb42bb

View file

@ -17,8 +17,8 @@ use syntax::{
}; };
use crate::{ use crate::{
AdjustmentHints, AdjustmentHintsMode, InlayHint, InlayHintLabel, InlayHintPosition, AdjustmentHints, AdjustmentHintsMode, InlayHint, InlayHintLabel, InlayHintLabelPart,
InlayHintsConfig, InlayKind, InlayTooltip, InlayHintPosition, InlayHintsConfig, InlayKind, InlayTooltip,
}; };
pub(super) fn hints( pub(super) fn hints(
@ -64,19 +64,34 @@ pub(super) fn hints(
let (postfix, needs_outer_parens, needs_inner_parens) = let (postfix, needs_outer_parens, needs_inner_parens) =
mode_and_needs_parens_for_adjustment_hints(expr, config.adjustment_hints_mode); mode_and_needs_parens_for_adjustment_hints(expr, config.adjustment_hints_mode);
if needs_outer_parens { let range = expr.syntax().text_range();
acc.push(InlayHint::opening_paren_before( let mut pre = InlayHint {
InlayKind::Adjustment, range,
expr.syntax().text_range(), position: InlayHintPosition::Before,
)); pad_left: false,
pad_right: false,
kind: InlayKind::Adjustment,
label: InlayHintLabel::default(),
text_edit: None,
resolve_parent: Some(range),
};
let mut post = InlayHint {
range,
position: InlayHintPosition::After,
pad_left: false,
pad_right: false,
kind: InlayKind::Adjustment,
label: InlayHintLabel::default(),
text_edit: None,
resolve_parent: Some(range),
};
if needs_outer_parens || (postfix && needs_inner_parens) {
pre.label.append_str("(");
} }
if postfix && needs_inner_parens { if postfix && needs_inner_parens {
acc.push(InlayHint::opening_paren_before( post.label.append_str(")");
InlayKind::Adjustment,
expr.syntax().text_range(),
));
acc.push(InlayHint::closing_paren_after(InlayKind::Adjustment, expr.syntax().text_range()));
} }
let mut iter = if postfix { let mut iter = if postfix {
@ -138,35 +153,28 @@ pub(super) fn hints(
} }
_ => continue, _ => continue,
}; };
let label = InlayHintLabel::simple( let label = InlayHintLabelPart {
if postfix { format!(".{}", text.trim_end()) } else { text.to_owned() }, text: if postfix { format!(".{}", text.trim_end()) } else { text.to_owned() },
Some(InlayTooltip::Markdown(format!( linked_location: None,
tooltip: Some(InlayTooltip::Markdown(format!(
"`{}` → `{}` ({coercion} coercion)", "`{}` → `{}` ({coercion} coercion)",
source.display(sema.db, file_id.edition()), source.display(sema.db, file_id.edition()),
target.display(sema.db, file_id.edition()), target.display(sema.db, file_id.edition()),
))), ))),
None, };
); if postfix { &mut post } else { &mut pre }.label.append_part(label);
acc.push(InlayHint {
range: expr.syntax().text_range(),
pad_left: false,
pad_right: false,
position: if postfix { InlayHintPosition::After } else { InlayHintPosition::Before },
kind: InlayKind::Adjustment,
label,
text_edit: None,
resolve_parent: Some(expr.syntax().text_range()),
});
} }
if !postfix && needs_inner_parens { if !postfix && needs_inner_parens {
acc.push(InlayHint::opening_paren_before( pre.label.append_str("(");
InlayKind::Adjustment,
expr.syntax().text_range(),
));
acc.push(InlayHint::closing_paren_after(InlayKind::Adjustment, expr.syntax().text_range()));
} }
if needs_outer_parens { if needs_outer_parens || (!postfix && needs_inner_parens) {
acc.push(InlayHint::closing_paren_after(InlayKind::Adjustment, expr.syntax().text_range())); post.label.append_str(")");
}
if !pre.label.parts.is_empty() {
acc.push(pre);
}
if !post.label.parts.is_empty() {
acc.push(post);
} }
Some(()) Some(())
} }
@ -293,25 +301,19 @@ fn main() {
let _: u32 = loop {}; let _: u32 = loop {};
//^^^^^^^<never-to-any> //^^^^^^^<never-to-any>
let _: &u32 = &mut 0; let _: &u32 = &mut 0;
//^^^^^^& //^^^^^^&*
//^^^^^^*
let _: &mut u32 = &mut 0; let _: &mut u32 = &mut 0;
//^^^^^^&mut $ //^^^^^^&mut *
//^^^^^^*
let _: *const u32 = &mut 0; let _: *const u32 = &mut 0;
//^^^^^^&raw const $ //^^^^^^&raw const *
//^^^^^^*
let _: *mut u32 = &mut 0; let _: *mut u32 = &mut 0;
//^^^^^^&raw mut $ //^^^^^^&raw mut *
//^^^^^^*
let _: fn() = main; let _: fn() = main;
//^^^^<fn-item-to-fn-pointer> //^^^^<fn-item-to-fn-pointer>
let _: unsafe fn() = main; let _: unsafe fn() = main;
//^^^^<safe-fn-pointer-to-unsafe-fn-pointer> //^^^^<safe-fn-pointer-to-unsafe-fn-pointer><fn-item-to-fn-pointer>
//^^^^<fn-item-to-fn-pointer>
let _: unsafe fn() = main as fn(); let _: unsafe fn() = main as fn();
//^^^^^^^^^^^^<safe-fn-pointer-to-unsafe-fn-pointer> //^^^^^^^^^^^^<safe-fn-pointer-to-unsafe-fn-pointer>(
//^^^^^^^^^^^^(
//^^^^^^^^^^^^) //^^^^^^^^^^^^)
//^^^^<fn-item-to-fn-pointer> //^^^^<fn-item-to-fn-pointer>
let _: fn() = || {}; let _: fn() = || {};
@ -319,72 +321,51 @@ fn main() {
let _: unsafe fn() = || {}; let _: unsafe fn() = || {};
//^^^^^<closure-to-unsafe-fn-pointer> //^^^^^<closure-to-unsafe-fn-pointer>
let _: *const u32 = &mut 0u32 as *mut u32; let _: *const u32 = &mut 0u32 as *mut u32;
//^^^^^^^^^^^^^^^^^^^^^<mut-ptr-to-const-ptr> //^^^^^^^^^^^^^^^^^^^^^<mut-ptr-to-const-ptr>(
//^^^^^^^^^^^^^^^^^^^^^(
//^^^^^^^^^^^^^^^^^^^^^) //^^^^^^^^^^^^^^^^^^^^^)
//^^^^^^^^^&raw mut $ //^^^^^^^^^&raw mut *
//^^^^^^^^^*
let _: &mut [_] = &mut [0; 0]; let _: &mut [_] = &mut [0; 0];
//^^^^^^^^^^^<unsize> //^^^^^^^^^^^<unsize>&mut *
//^^^^^^^^^^^&mut $
//^^^^^^^^^^^*
Struct.consume(); Struct.consume();
Struct.by_ref(); Struct.by_ref();
//^^^^^^( //^^^^^^(&
//^^^^^^&
//^^^^^^) //^^^^^^)
Struct.by_ref_mut(); Struct.by_ref_mut();
//^^^^^^( //^^^^^^(&mut $
//^^^^^^&mut $
//^^^^^^) //^^^^^^)
(&Struct).consume(); (&Struct).consume();
//^^^^^^^* //^^^^^^^*
(&Struct).by_ref(); (&Struct).by_ref();
//^^^^^^^& //^^^^^^^&*
//^^^^^^^*
(&mut Struct).consume(); (&mut Struct).consume();
//^^^^^^^^^^^* //^^^^^^^^^^^*
(&mut Struct).by_ref(); (&mut Struct).by_ref();
//^^^^^^^^^^^& //^^^^^^^^^^^&*
//^^^^^^^^^^^*
(&mut Struct).by_ref_mut(); (&mut Struct).by_ref_mut();
//^^^^^^^^^^^&mut $ //^^^^^^^^^^^&mut *
//^^^^^^^^^^^*
// Check that block-like expressions don't duplicate hints // Check that block-like expressions don't duplicate hints
let _: &mut [u32] = (&mut []); let _: &mut [u32] = (&mut []);
//^^^^^^^<unsize> //^^^^^^^<unsize>&mut *
//^^^^^^^&mut $
//^^^^^^^*
let _: &mut [u32] = { &mut [] }; let _: &mut [u32] = { &mut [] };
//^^^^^^^<unsize> //^^^^^^^<unsize>&mut *
//^^^^^^^&mut $
//^^^^^^^*
let _: &mut [u32] = unsafe { &mut [] }; let _: &mut [u32] = unsafe { &mut [] };
//^^^^^^^<unsize> //^^^^^^^<unsize>&mut *
//^^^^^^^&mut $
//^^^^^^^*
let _: &mut [u32] = if true { let _: &mut [u32] = if true {
&mut [] &mut []
//^^^^^^^<unsize> //^^^^^^^<unsize>&mut *
//^^^^^^^&mut $
//^^^^^^^*
} else { } else {
loop {} loop {}
//^^^^^^^<never-to-any> //^^^^^^^<never-to-any>
}; };
let _: &mut [u32] = match () { () => &mut [] }; let _: &mut [u32] = match () { () => &mut [] };
//^^^^^^^<unsize> //^^^^^^^<unsize>&mut *
//^^^^^^^&mut $
//^^^^^^^*
let _: &mut dyn Fn() = &mut || (); let _: &mut dyn Fn() = &mut || ();
//^^^^^^^^^^<unsize> //^^^^^^^^^^<unsize>&mut *
//^^^^^^^^^^&mut $
//^^^^^^^^^^*
() == (); () == ();
// ^^& // ^^&
// ^^& // ^^&
@ -393,16 +374,13 @@ fn main() {
// ^^^^& // ^^^^&
let closure: dyn Fn = || (); let closure: dyn Fn = || ();
closure(); closure();
//^^^^^^^( //^^^^^^^(&
//^^^^^^^&
//^^^^^^^) //^^^^^^^)
Struct[0]; Struct[0];
//^^^^^^( //^^^^^^(&
//^^^^^^&
//^^^^^^) //^^^^^^)
&mut Struct[0]; &mut Struct[0];
//^^^^^^( //^^^^^^(&mut $
//^^^^^^&mut $
//^^^^^^) //^^^^^^)
} }
@ -442,72 +420,46 @@ fn main() {
(&Struct).consume(); (&Struct).consume();
//^^^^^^^( //^^^^^^^(
//^^^^^^^) //^^^^^^^).*
//^^^^^^^.*
(&Struct).by_ref(); (&Struct).by_ref();
//^^^^^^^( //^^^^^^^(
//^^^^^^^) //^^^^^^^).*.&
//^^^^^^^.*
//^^^^^^^.&
(&mut Struct).consume(); (&mut Struct).consume();
//^^^^^^^^^^^( //^^^^^^^^^^^(
//^^^^^^^^^^^) //^^^^^^^^^^^).*
//^^^^^^^^^^^.*
(&mut Struct).by_ref(); (&mut Struct).by_ref();
//^^^^^^^^^^^( //^^^^^^^^^^^(
//^^^^^^^^^^^) //^^^^^^^^^^^).*.&
//^^^^^^^^^^^.*
//^^^^^^^^^^^.&
(&mut Struct).by_ref_mut(); (&mut Struct).by_ref_mut();
//^^^^^^^^^^^( //^^^^^^^^^^^(
//^^^^^^^^^^^) //^^^^^^^^^^^).*.&mut
//^^^^^^^^^^^.*
//^^^^^^^^^^^.&mut
// Check that block-like expressions don't duplicate hints // Check that block-like expressions don't duplicate hints
let _: &mut [u32] = (&mut []); let _: &mut [u32] = (&mut []);
//^^^^^^^( //^^^^^^^(
//^^^^^^^) //^^^^^^^).*.&mut.<unsize>
//^^^^^^^.*
//^^^^^^^.&mut
//^^^^^^^.<unsize>
let _: &mut [u32] = { &mut [] }; let _: &mut [u32] = { &mut [] };
//^^^^^^^( //^^^^^^^(
//^^^^^^^) //^^^^^^^).*.&mut.<unsize>
//^^^^^^^.*
//^^^^^^^.&mut
//^^^^^^^.<unsize>
let _: &mut [u32] = unsafe { &mut [] }; let _: &mut [u32] = unsafe { &mut [] };
//^^^^^^^( //^^^^^^^(
//^^^^^^^) //^^^^^^^).*.&mut.<unsize>
//^^^^^^^.*
//^^^^^^^.&mut
//^^^^^^^.<unsize>
let _: &mut [u32] = if true { let _: &mut [u32] = if true {
&mut [] &mut []
//^^^^^^^( //^^^^^^^(
//^^^^^^^) //^^^^^^^).*.&mut.<unsize>
//^^^^^^^.*
//^^^^^^^.&mut
//^^^^^^^.<unsize>
} else { } else {
loop {} loop {}
//^^^^^^^.<never-to-any> //^^^^^^^.<never-to-any>
}; };
let _: &mut [u32] = match () { () => &mut [] }; let _: &mut [u32] = match () { () => &mut [] };
//^^^^^^^( //^^^^^^^(
//^^^^^^^) //^^^^^^^).*.&mut.<unsize>
//^^^^^^^.*
//^^^^^^^.&mut
//^^^^^^^.<unsize>
let _: &mut dyn Fn() = &mut || (); let _: &mut dyn Fn() = &mut || ();
//^^^^^^^^^^( //^^^^^^^^^^(
//^^^^^^^^^^) //^^^^^^^^^^).*.&mut.<unsize>
//^^^^^^^^^^.*
//^^^^^^^^^^.&mut
//^^^^^^^^^^.<unsize>
() == (); () == ();
// ^^.& // ^^.&
// ^^.& // ^^.&
@ -619,9 +571,7 @@ fn or_else() {
r#" r#"
unsafe fn enabled() { unsafe fn enabled() {
f(&&()); f(&&());
//^^^^& //^^^^&**
//^^^^*
//^^^^*
} }
fn disabled() { fn disabled() {
@ -633,9 +583,7 @@ fn mixed() {
unsafe { unsafe {
f(&&()); f(&&());
//^^^^& //^^^^&**
//^^^^*
//^^^^*
} }
} }
@ -644,9 +592,7 @@ const _: () = {
unsafe { unsafe {
f(&&()); f(&&());
//^^^^& //^^^^&**
//^^^^*
//^^^^*
} }
}; };
@ -655,18 +601,14 @@ static STATIC: () = {
unsafe { unsafe {
f(&&()); f(&&());
//^^^^& //^^^^&**
//^^^^*
//^^^^*
} }
}; };
enum E { enum E {
Disable = { f(&&()); 0 }, Disable = { f(&&()); 0 },
Enable = unsafe { f(&&()); 1 }, Enable = unsafe { f(&&()); 1 },
//^^^^& //^^^^&**
//^^^^*
//^^^^*
} }
const fn f(_: &()) {} const fn f(_: &()) {}
@ -692,8 +634,7 @@ fn a() {
_ = Struct.by_ref(); _ = Struct.by_ref();
_ = unsafe { Struct.by_ref() }; _ = unsafe { Struct.by_ref() };
//^^^^^^( //^^^^^^(&
//^^^^^^&
//^^^^^^) //^^^^^^)
} }
"#, "#,
@ -726,10 +667,7 @@ trait T<RHS = Self> {}
fn hello(it: &&[impl T]) { fn hello(it: &&[impl T]) {
it.len(); it.len();
//^^( //^^(&**
//^^&
//^^*
//^^*
//^^) //^^)
} }
"#, "#,