pub trait LinterGroup: Database {
// Provided methods
fn linter_diagnostics<'db>(
&'db self,
params: LinterDiagnosticParams,
module_id: ModuleId<'db>,
) -> &'db Vec<PluginDiagnostic<'db>> { ... }
fn corelib_context<'db>(&'db self) -> &'db CorelibContext<'db> { ... }
}