diff options
author | Paul Daniel Faria <[email protected]> | 2020-05-23 22:49:53 +0100 |
---|---|---|
committer | Paul Daniel Faria <[email protected]> | 2020-06-27 15:08:14 +0100 |
commit | 0b95bed83fc8db897f54b350168567f14527e8de (patch) | |
tree | 94fc33b8e7f160ae2b45e38b32a70856006c93a2 /crates/ra_hir/src/code_model.rs | |
parent | 9d1e2c4d9dc6c7f5fbaee5d9907d135f618d7ac6 (diff) |
Add unsafe diagnostics and unsafe highlighting
Diffstat (limited to 'crates/ra_hir/src/code_model.rs')
-rw-r--r-- | crates/ra_hir/src/code_model.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/crates/ra_hir/src/code_model.rs b/crates/ra_hir/src/code_model.rs index a379b9f49..131180a63 100644 --- a/crates/ra_hir/src/code_model.rs +++ b/crates/ra_hir/src/code_model.rs | |||
@@ -36,6 +36,7 @@ use rustc_hash::FxHashSet; | |||
36 | 36 | ||
37 | use crate::{ | 37 | use crate::{ |
38 | db::{DefDatabase, HirDatabase}, | 38 | db::{DefDatabase, HirDatabase}, |
39 | diagnostics::UnsafeValidator, | ||
39 | has_source::HasSource, | 40 | has_source::HasSource, |
40 | CallableDef, HirDisplay, InFile, Name, | 41 | CallableDef, HirDisplay, InFile, Name, |
41 | }; | 42 | }; |
@@ -677,7 +678,9 @@ impl Function { | |||
677 | let _p = profile("Function::diagnostics"); | 678 | let _p = profile("Function::diagnostics"); |
678 | let infer = db.infer(self.id.into()); | 679 | let infer = db.infer(self.id.into()); |
679 | infer.add_diagnostics(db, self.id, sink); | 680 | infer.add_diagnostics(db, self.id, sink); |
680 | let mut validator = ExprValidator::new(self.id, infer, sink); | 681 | let mut validator = ExprValidator::new(self.id, infer.clone(), sink); |
682 | validator.validate_body(db); | ||
683 | let mut validator = UnsafeValidator::new(&self, infer, sink); | ||
681 | validator.validate_body(db); | 684 | validator.validate_body(db); |
682 | } | 685 | } |
683 | } | 686 | } |