language-servers/rust-analyzer
1
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer.git synced 2025-10-01 06:11:35 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Omit default types in HirDisplay SourceCode mode

Browse source
This commit is contained in:
Timo Freiberg 2020-05-10 18:09:22 +02:00
parent 225f353aa2
commit cbbbd48325
3 changed files with 64 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/ra_assists/src/handlers/add_explicit_type.rs
View file

@ -209,7 +209,7 @@ struct Test<K, T = u8> {
} }
fn main() { fn main() {
let test<|>: Test<i32, u8> = Test { t: 23, k: 33 }; let test<|>: Test<i32> = Test { t: 23, k: 33 };
}"#, }"#,
); );
} }

63
crates/ra_hir_ty/src/display.rs
View file

@ -136,6 +136,12 @@ enum DisplayTarget {
SourceCode { module_id: ModuleId }, SourceCode { module_id: ModuleId },
} }
impl DisplayTarget {
fn is_source_code(&self) -> bool {
matches!(self, Self::SourceCode {..})
}
}
#[derive(Debug)] #[derive(Debug)]
pub enum DisplaySourceCodeError { pub enum DisplaySourceCodeError {
PathNotFound, PathNotFound,
@ -303,37 +309,40 @@ impl HirDisplay for ApplicationTy {
if self.parameters.len() > 0 { if self.parameters.len() > 0 {
let mut non_default_parameters = Vec::with_capacity(self.parameters.len()); let mut non_default_parameters = Vec::with_capacity(self.parameters.len());
let parameters_to_write = if f.omit_verbose_types() { let parameters_to_write =
match self if f.display_target.is_source_code() || f.omit_verbose_types() {
.ctor match self
.as_generic_def() .ctor
.map(|generic_def_id| f.db.generic_defaults(generic_def_id)) .as_generic_def()
.filter(|defaults| !defaults.is_empty()) .map(|generic_def_id| f.db.generic_defaults(generic_def_id))
{ .filter(|defaults| !defaults.is_empty())
None => self.parameters.0.as_ref(), {
Some(default_parameters) => { None => self.parameters.0.as_ref(),
for (i, parameter) in self.parameters.iter().enumerate() { Some(default_parameters) => {
match (parameter, default_parameters.get(i)) { for (i, parameter) in self.parameters.iter().enumerate() {
(&Ty::Unknown, _) | (_, None) => { match (parameter, default_parameters.get(i)) {
non_default_parameters.push(parameter.clone()) (&Ty::Unknown, _) | (_, None) => {
non_default_parameters.push(parameter.clone())
}
(_, Some(default_parameter))
if parameter != default_parameter =>
{
non_default_parameters.push(parameter.clone())
}
_ => (),
} }
(_, Some(default_parameter))
if parameter != default_parameter =>
{
non_default_parameters.push(parameter.clone())
}
_ => (),
} }
&non_default_parameters
} }
&non_default_parameters
} }
} } else {
} else { self.parameters.0.as_ref()
self.parameters.0.as_ref() };
}; if !parameters_to_write.is_empty() {
write!(f, "<")?; write!(f, "<")?;
f.write_joined(parameters_to_write, ", ")?; f.write_joined(parameters_to_write, ", ")?;
write!(f, ">")?; write!(f, ">")?;
}
} }
} }
TypeCtor::AssociatedType(type_alias) => { TypeCtor::AssociatedType(type_alias) => {

27
crates/ra_hir_ty/src/tests/display_source_code.rs
View file

@ -21,3 +21,30 @@ fn bar() {
); );
assert_eq!("foo::Foo", displayed_source_at_pos(&db, pos)); assert_eq!("foo::Foo", displayed_source_at_pos(&db, pos));
} }
#[test]
fn omit_default_type_parameters() {
let (db, pos) = TestDB::with_position(
r"
//- /main.rs
struct Foo<T = u8> { t: T }
fn main() {
let foo = Foo { t: 5 };
foo<|>;
}
",
);
assert_eq!("Foo", displayed_source_at_pos(&db, pos));
let (db, pos) = TestDB::with_position(
r"
//- /main.rs
struct Foo<K, T = u8> { k: K, t: T }
fn main() {
let foo = Foo { k: 400, t: 5 };
foo<|>;
}
",
);
assert_eq!("Foo<i32>", displayed_source_at_pos(&db, pos));
}