aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/diagnostics/expr.rs
Commit message (Collapse)AuthorAgeFilesLines
* Check patterns for type match recursively.Dawer2021-05-191-2/+18
|
* internal: Record mismatches of pattern types.Dawer2021-05-191-1/+1
|
* Fix inference with conditionally compiled tailsDaniel McNab2021-05-031-1/+1
| | | | Fixes #8378
* infer: remove `record_field_resolutions` fieldJonas Schievink2021-04-061-5/+4
| | | | | It stores no useful data, since we can derive all fields from `variant_resolutions`
* Add Lifetime to TyKind::RefLukas Wirth2021-04-061-1/+1
|
* Hide Binders internals moreFlorian Diebold2021-04-051-1/+2
|
* Add TyBuilder::unit() and TyExt::is_unit()Florian Diebold2021-04-041-2/+2
|
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-031-1/+1
| | | | ... since that's the actual method on Chalk side that matches the signature.
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-1/+3
| | | | | | | Plus some more adaptations to Substitution. Lots of `assert_ty_ref` that we should revisit when introducing lifetime/const parameters.
* Improve testJonas Schievink2021-03-171-0/+21
|
* Add test for `#[cfg]` on function paramsJonas Schievink2021-03-171-0/+13
|
* Handle `#[cfg]` on call argumentsJonas Schievink2021-03-171-0/+23
|
* avoid converting types into themselves via .into() (clippy::useless-conversion)Matthias Krüger2021-03-171-9/+9
| | | | example: let x: String = String::from("hello world").into();
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-11/+10
| | | | | Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`.
* Use chalk_ir::AdtIdLukas Wirth2021-03-041-6/+8
|
* Inline TypeCtor into TyLukas Wirth2021-02-281-7/+4
|
* Update tests to register the required standard library typesPhil Ellison2021-01-231-6/+10
|
* Identify methods using functions ids rather than string namesPhil Ellison2021-01-231-7/+27
|
* Implement fix, add testsPhil Ellison2021-01-231-20/+7
|
* Add diagnostic for filter_map followed by nextPhil Ellison2021-01-231-9/+61
|
* Fixed typos in local bindingsVincent Esche2021-01-091-2/+2
|
* cargo fmtPhil Ellison2021-01-071-6/+9
|
* Add fix to wrap return expression in SomePhil Ellison2021-01-071-6/+16
|
* Don't emit arg count diagnostics for method calls with unknown receiverFlorian Diebold2021-01-011-1/+25
| | | | Fixes #7098.
* Cast to ExprStmt, style fixesivan7702020-12-101-6/+5
|
* Apply rustfmt changesivan7702020-12-091-9/+8
|
* Apply suggestions from code reviewivan7702020-12-091-17/+20
| | | Co-authored-by: bjorn3 <[email protected]>
* Format codeivan7702020-12-081-4/+13
|
* Remove use via superivan7702020-12-081-3/+1
|
* Remove this semicolonivan7702020-12-081-1/+26
|
* Deny unreachable-pubAleksey Kladov2020-11-021-11/+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.
* Fix missing match arm false error on unknown typeCAD972020-08-171-2/+2
|
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+569