reduce span of unsafe block

This commit is contained in:
Bennet Bleßmann
2024-07-07 11:30:37 +02:00
parent c414f75329
commit 0284a2092d
+1 -3
View File
@@ -679,8 +679,7 @@ impl MachineState {
indices: &mut IndexStore, indices: &mut IndexStore,
) -> CallResult { ) -> CallResult {
if let Stream::Readline(ptr) = stream { if let Stream::Readline(ptr) = stream {
unsafe { let readline = unsafe { ptr.as_ptr().as_mut() }.unwrap();
let readline = ptr.as_ptr().as_mut().unwrap();
readline.set_atoms_for_completion(&self.atom_tbl); readline.set_atoms_for_completion(&self.atom_tbl);
return self.read_term( return self.read_term(
stream, stream,
@@ -688,7 +687,6 @@ impl MachineState {
MachineState::read_term_from_user_input_eof_handler, MachineState::read_term_from_user_input_eof_handler,
); );
} }
}
if let Stream::Byte(_) = stream { if let Stream::Byte(_) = stream {
return self.read_term( return self.read_term(