fn crate_extern_prelude<'db>( db: &'db dyn SourceDatabase, start_crate: Crate, ) -> &'db <Box<[Crate]> as Deref>::Target