aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/diagnostics/unsafe_check.rs
Commit message (Collapse)AuthorAgeFilesLines
* minor: reduce visibilityAleksey Kladov2021-06-121-3/+2
|
* internal: move missing unsafe diagnostic to hirAleksey Kladov2021-06-121-133/+15
|
* internal: move diagnostics to hirAleksey Kladov2021-05-251-2/+2
| | | | | | | | | | | | | | | | | | | | | | | The idea here is to eventually get rid of `dyn Diagnostic` and `DiagnosticSink` infrastructure altogether, and just have a `enum hir::Diagnostic` instead. The problem with `dyn Diagnostic` is that it is defined in the lowest level of the stack (hir_expand), but is used by the highest level (ide). As a first step, we free hir_expand and hir_def from `dyn Diagnostic` and kick the can up to `hir_ty`, as an intermediate state. The plan is then to move DiagnosticSink similarly to the hir crate, and, as final third step, remove its usage from the ide. One currently unsolved problem is testing. You can notice that the test which checks precise diagnostic ranges, unresolved_import_in_use_tree, was moved to the ide layer. Logically, only IDE should have the infra to render a specific range. At the same time, the range is determined with the data produced in hir_def and hir crates, so this layering is rather unfortunate. Working on hir_def shouldn't require compiling `ide` for testing.
* Record method call substs and use them in call infoFlorian Diebold2021-05-231-1/+1
|
* Move Ty accessors to TyExtLukas Wirth2021-04-061-1/+3
|
* Use bitflags to compress function propertiesJonas Schievink2021-04-031-3/+3
| | | | Very minor savings, only 1 MB or so
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-031-1/+1
| | | | ... since that's the actual method on Chalk side that matches the signature.
* avoid converting types into themselves via .into() (clippy::useless-conversion)Matthias Krüger2021-03-171-1/+1
| | | | example: let x: String = String::from("hello world").into();
* Introduce FunctionQualifier for hir::FunctionDataoxalica2021-03-151-3/+3
|
* Use chalk_ir::FnDefIdFlorian Diebold2021-03-131-1/+1
|
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-2/+2
| | | | | Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`.
* Introduce Ty::AliasLukas Wirth2021-03-011-1/+1
|
* Inline TypeCtor into TyLukas Wirth2021-02-281-4/+2
|
* Classify function calls as functions when shadowed by typesLukas Wirth2021-01-281-9/+3
|
* Deny unreachable-pubAleksey Kladov2020-11-021-4/+4
| | | | | | | | It's very useful when `pub` is equivalent to "this is crate's public API", let's enforce this! Ideally, we should enforce it for local `cargo test`, and only during CI, but that needs https://github.com/rust-lang/cargo/issues/5034.
* Move safe intrinsic testsFrancesco Zardi2020-10-211-0/+18
|
* Code style adjustmentsIgor Aleksanov2020-10-121-3/+3
|
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+205