cairo_lang_defs::db

Function module_plugin_diagnostics_notes

Source
pub fn module_plugin_diagnostics_notes(
    db: &dyn DefsGroup,
    module_id: ModuleId,
) -> Maybe<Arc<PluginFileDiagnosticNotes>>
Expand description

Diagnostic notes for diagnostics originating in the plugin generated files identified by FileId.