diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2022-07-12 22:44:15 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-12 22:44:15 -0400 |
| commit | 698eeb90fd907d19d9366f07967a01f97daba74a (patch) | |
| tree | 8ed77efc87f9974154b11cf1b626c32e9a979514 /cli/main.rs | |
| parent | 61340f1d89f0a02feb8ad6a6bf481fe6ff5f56df (diff) | |
fix: fallback to no type checking cache when db file can't be created (#15180)
Diffstat (limited to 'cli/main.rs')
| -rw-r--r-- | cli/main.rs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/cli/main.rs b/cli/main.rs index 4ed44c9bd..fbbfc77d2 100644 --- a/cli/main.rs +++ b/cli/main.rs @@ -661,9 +661,7 @@ async fn create_graph_and_maybe_check( eprintln!("{}", ignored_options); } let maybe_config_specifier = ps.options.maybe_config_file_specifier(); - // todo: don't use anything on failure - let cache = - TypeCheckCache::new(&ps.dir.type_checking_cache_db_file_path())?; + let cache = TypeCheckCache::new(&ps.dir.type_checking_cache_db_file_path()); let check_result = emit::check( &graph.roots, Arc::new(RwLock::new(graph.as_ref().into())), |