pub trait Check { // Required method fn check( &self, file: &Path, text: &str, doc: &DocumentMut, ) -> Vec<Diagnostic>; }