aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_syntax/src/algo.rs
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2019-09-25 15:19:46 +0100
committerGitHub <[email protected]>2019-09-25 15:19:46 +0100
commita452e50e0e89390b8a055f0c7c64100e9872edac (patch)
treeefcb288188e086dd7d37747eece043550ca746dc /crates/ra_syntax/src/algo.rs
parentbb467b857eabb0c930316ff066b30c395d7fa63b (diff)
parentb7422bd1abd03c02b4aa4a6a5d3dcc1136d37a42 (diff)
Merge #1911
1911: fewer monomorphisations r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_syntax/src/algo.rs')
-rw-r--r--crates/ra_syntax/src/algo.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/ra_syntax/src/algo.rs b/crates/ra_syntax/src/algo.rs
index 45f624810..7ee5aa85b 100644
--- a/crates/ra_syntax/src/algo.rs
+++ b/crates/ra_syntax/src/algo.rs
@@ -70,7 +70,7 @@ pub enum InsertPosition<T> {
70pub fn insert_children( 70pub fn insert_children(
71 parent: &SyntaxNode, 71 parent: &SyntaxNode,
72 position: InsertPosition<SyntaxElement>, 72 position: InsertPosition<SyntaxElement>,
73 to_insert: impl Iterator<Item = SyntaxElement>, 73 to_insert: &mut dyn Iterator<Item = SyntaxElement>,
74) -> SyntaxNode { 74) -> SyntaxNode {
75 let mut delta = TextUnit::default(); 75 let mut delta = TextUnit::default();
76 let to_insert = to_insert.map(|element| { 76 let to_insert = to_insert.map(|element| {
@@ -108,7 +108,7 @@ pub fn insert_children(
108pub fn replace_children( 108pub fn replace_children(
109 parent: &SyntaxNode, 109 parent: &SyntaxNode,
110 to_delete: RangeInclusive<SyntaxElement>, 110 to_delete: RangeInclusive<SyntaxElement>,
111 to_insert: impl Iterator<Item = SyntaxElement>, 111 to_insert: &mut dyn Iterator<Item = SyntaxElement>,
112) -> SyntaxNode { 112) -> SyntaxNode {
113 let start = position_of_child(parent, to_delete.start().clone()); 113 let start = position_of_child(parent, to_delete.start().clone());
114 let end = position_of_child(parent, to_delete.end().clone()); 114 let end = position_of_child(parent, to_delete.end().clone());