Something went wrong. Try again.
forked from verus-lang/verus
Something went wrong. Try again.
123456789101112pub use rustc_span::source_map::RealFileLoader;
pub trait FileLoaderClone { fn clone(&self) -> Self;}
impl FileLoaderClone for RealFileLoader { fn clone(&self) -> Self { rustc_span::source_map::RealFileLoader }}