Adds type inference from trait implementations.(#6590 ) Merged Benchmarks Passed sway-lsp/benches/lsp_benchmarks/compile.rs::benches::benchmarks::traverse sway-lsp/benches/lsp_benchmarks/requests.rs::benches::benchmarks::format sway-lsp/benches/lsp_benchmarks/requests.rs::benches::benchmarks::prepare_rename sway-lsp/benches/lsp_benchmarks/requests.rs::benches::benchmarks::hover sway-lsp/benches/lsp_benchmarks/token_map.rs::benches::benchmarks::parent_decl_at_position sway-lsp/benches/lsp_benchmarks/requests.rs::benches::benchmarks::completion sway-lsp/benches/lsp_benchmarks/token_map.rs::benches::benchmarks::tokens_at_position sway-lsp/benches/lsp_benchmarks/requests.rs::benches::benchmarks::goto_definition sway-lsp/benches/lsp_benchmarks/requests.rs::benches::benchmarks::find_all_references sway-lsp/benches/lsp_benchmarks/requests.rs::benches::benchmarks::rename sway-lsp/benches/lsp_benchmarks/requests.rs::benches::benchmarks::code_action sway-lsp/benches/lsp_benchmarks/requests.rs::benches::benchmarks::highlight sway-lsp/benches/lsp_benchmarks/token_map.rs::benches::benchmarks::idents_at_position sway-lsp/benches/lsp_benchmarks/requests.rs::benches::benchmarks::inlay_hints sway-lsp/benches/lsp_benchmarks/token_map.rs::benches::benchmarks::token_at_position sway-lsp/benches/lsp_benchmarks/token_map.rs::benches::benchmarks::tokens_for_file sway-lsp/benches/lsp_benchmarks/requests.rs::benches::benchmarks::on_enter sway-lsp/benches/lsp_benchmarks/compile.rs::benches::benchmarks::did_change_with_caching sway-lsp/benches/lsp_benchmarks/requests.rs::benches::benchmarks::semantic_tokens sway-lsp/benches/lsp_benchmarks/requests.rs::benches::benchmarks::code_lens sway-lsp/benches/lsp_benchmarks/compile.rs::benches::benchmarks::compile sway-lsp/benches/lsp_benchmarks/requests.rs::benches::benchmarks::document_symbol Commits Click on a commit to change the comparison range Adds inference from trait implementations.
When we have a type annotation with placeholders and we assign to it the
result of a trait implementation call, if there is a single possible
trait implementation we can use its type in the type annotation type.
Fixes #5299 Merge branch 'master' into esdrubal/5259 Merge branch 'master' into esdrubal/5259 25 days ago
by JoshuaBattyMerge branch 'master' into esdrubal/5259 Merge branch 'master' into esdrubal/5259 24 days ago
by JoshuaBattyCopyright © 2024 CodSpeed Technology SAS. All rights reserved.