From a11f621393345e87145108da20dffb310b5dbfd4 Mon Sep 17 00:00:00 2001 From: Niklas Mischkulnig <4586894+mischnic@users.noreply.github.com> Date: Thu, 14 Aug 2025 11:04:02 +0200 Subject: [PATCH] fix: use correct id in `set_source_contents` --- src/types.rs | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/src/types.rs b/src/types.rs index 76a8e5b..c2a8b04 100644 --- a/src/types.rs +++ b/src/types.rs @@ -1171,9 +1171,10 @@ pub fn adjust_mappings_from_multiple( let src = this.get_source(src_id).cloned(); ( src.map(|src| { - let src_id = new_map.add_source(src); - new_map.set_source_contents(src_id, this.get_source_contents(src_id).cloned()); - src_id + let new_src_id = new_map.add_source(src); + new_map + .set_source_contents(new_src_id, this.get_source_contents(src_id).cloned()); + new_src_id }), this.get_name(name_id).cloned(), ) @@ -1182,9 +1183,10 @@ pub fn adjust_mappings_from_multiple( let src = this.get_source(src_id).cloned(); ( src.map(|src| { - let src_id = new_map.add_source(src); - new_map.set_source_contents(src_id, this.get_source_contents(src_id).cloned()); - src_id + let new_src_id = new_map.add_source(src); + new_map + .set_source_contents(new_src_id, this.get_source_contents(src_id).cloned()); + new_src_id }), this.get_name(name_id).cloned(), )