Require Send and Sync for worlds (#4219)

This commit is contained in:
Laurenz 2024-05-22 12:30:05 +02:00 committed by GitHub
parent a52987a8c2
commit e715def088
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -191,7 +191,7 @@ fn deduplicate(mut diags: EcoVec<SourceDiagnostic>) -> EcoVec<SourceDiagnostic>
/// [edit](Source::edit) them in-place to benefit from better incremental
/// performance.
#[comemo::track]
pub trait World {
pub trait World: Send + Sync {
/// The standard library.
///
/// Can be created through `Library::build()`.