diff options
author | Paul Daniel Faria <[email protected]> | 2020-05-24 06:33:22 +0100 |
---|---|---|
committer | Paul Daniel Faria <[email protected]> | 2020-06-27 15:09:29 +0100 |
commit | daf1cac9f87023d37a4418ea24ed615c9706258b (patch) | |
tree | d03541e3288316c2570bbc86a1b2bd97eea9292c /crates/ra_hir_ty/src/test_db.rs | |
parent | 0b95bed83fc8db897f54b350168567f14527e8de (diff) |
Move diagnostics back into expr, add tests for diagnostics, fix logic to account for derefs of raw ptrs
Diffstat (limited to 'crates/ra_hir_ty/src/test_db.rs')
-rw-r--r-- | crates/ra_hir_ty/src/test_db.rs | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/crates/ra_hir_ty/src/test_db.rs b/crates/ra_hir_ty/src/test_db.rs index ad04e3e0f..9ccf2aa37 100644 --- a/crates/ra_hir_ty/src/test_db.rs +++ b/crates/ra_hir_ty/src/test_db.rs | |||
@@ -11,7 +11,11 @@ use ra_db::{salsa, CrateId, FileId, FileLoader, FileLoaderDelegate, SourceDataba | |||
11 | use rustc_hash::FxHashSet; | 11 | use rustc_hash::FxHashSet; |
12 | use stdx::format_to; | 12 | use stdx::format_to; |
13 | 13 | ||
14 | use crate::{db::HirDatabase, diagnostics::Diagnostic, expr::ExprValidator}; | 14 | use crate::{ |
15 | db::HirDatabase, | ||
16 | diagnostics::Diagnostic, | ||
17 | expr::{ExprValidator, UnsafeValidator}, | ||
18 | }; | ||
15 | 19 | ||
16 | #[salsa::database( | 20 | #[salsa::database( |
17 | ra_db::SourceDatabaseExtStorage, | 21 | ra_db::SourceDatabaseExtStorage, |
@@ -119,7 +123,9 @@ impl TestDB { | |||
119 | let infer = self.infer(f.into()); | 123 | let infer = self.infer(f.into()); |
120 | let mut sink = DiagnosticSink::new(&mut cb); | 124 | let mut sink = DiagnosticSink::new(&mut cb); |
121 | infer.add_diagnostics(self, f, &mut sink); | 125 | infer.add_diagnostics(self, f, &mut sink); |
122 | let mut validator = ExprValidator::new(f, infer, &mut sink); | 126 | let mut validator = ExprValidator::new(f, infer.clone(), &mut sink); |
127 | validator.validate_body(self); | ||
128 | let mut validator = UnsafeValidator::new(f, infer, &mut sink); | ||
123 | validator.validate_body(self); | 129 | validator.validate_body(self); |
124 | } | 130 | } |
125 | } | 131 | } |