pub fn check( command: CheckCommand, engines: &Engines, ) -> Result<(Option<Arc<TyProgram>>, Handler)>