1
Fork 0

Add Freeze::clone

This commit is contained in:
John Kåre Alsaker 2023-09-08 14:14:57 +02:00
parent f49382c050
commit c83eba9251
2 changed files with 12 additions and 8 deletions

View file

@ -1367,16 +1367,10 @@ impl Clone for SourceFile {
name: self.name.clone(),
src: self.src.clone(),
src_hash: self.src_hash,
external_src: {
let lock = self.external_src.read();
FreezeLock::with(lock.clone(), self.external_src.is_frozen())
},
external_src: self.external_src.clone(),
start_pos: self.start_pos,
source_len: self.source_len,
lines: {
let lock = self.lines.read();
FreezeLock::with(lock.clone(), self.lines.is_frozen())
},
lines: self.lines.clone(),
multibyte_chars: self.multibyte_chars.clone(),
non_narrow_chars: self.non_narrow_chars.clone(),
normalized_pos: self.normalized_pos.clone(),