aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/diagnostics/expr.rs
Commit message (Expand)AuthorAgeFilesLines
* internal: use cov-mark rather than bailing out diagnosticAleksey Kladov2021-06-131-14/+3
* internal: unified missing fields diagnosticAleksey Kladov2021-06-131-11/+7
* Move some hir_ty diagnostics to hirAleksey Kladov2021-06-121-408/+91
* minor: Avoid eprintln on panicDawer2021-06-011-10/+13
* Expand fixme commentsDawer2021-05-311-0/+1
* eprint panic contextDawer2021-05-311-0/+12
* Better tests: check if match checking bails out.Dawer2021-05-311-0/+2
* Replace the old match checking algorithmDawer2021-05-311-102/+17
* Clean up, more docs.Dawer2021-05-311-1/+0
* Check pattern types.Dawer2021-05-311-29/+48
* Do not do match check if lowering failed.Dawer2021-05-311-2/+19
* Basic lowering hir_def::exrp::Pat -> typed HIR.Dawer2021-05-311-9/+30
* Implement struct ctor applicationDawer2021-05-311-1/+1
* Remove unneeded indirection on PatCtxtDawer2021-05-311-2/+2
* Enable generation of non-exhaustiveness witnessesDawer2021-05-311-1/+2
* Update match checking.Dawer2021-05-311-1/+69
* internal: move diagnostics to hirAleksey Kladov2021-05-251-1/+2
* Record method call substs and use them in call infoFlorian Diebold2021-05-231-8/+4
* Add last remaining module docstringFlorian Diebold2021-05-221-1/+3
* 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
* infer: remove `record_field_resolutions` fieldJonas Schievink2021-04-061-5/+4
* 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
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-1/+3
* 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
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-11/+10
* 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
* 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
* 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