aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/diagnostics
Commit message (Expand)AuthorAgeFilesLines
* Enable generation of non-exhaustiveness witnessesDawer2021-05-313-13/+76
* Update match checking.Dawer2021-05-314-1/+1468
* minor: it's Parameter, not ArgumentAleksey Kladov2021-05-311-3/+3
* fix: avoid panics in match case diagnosticAleksey Kladov2021-05-311-108/+33
* internal: move diagnostics to hirAleksey Kladov2021-05-253-7/+6
* Record method call substs and use them in call infoFlorian Diebold2021-05-232-9/+5
* Add last remaining module docstringFlorian Diebold2021-05-221-1/+3
* Check patterns for type match recursively.Dawer2021-05-192-2/+30
* internal: Record mismatches of pattern types.Dawer2021-05-191-1/+1
* Fix false positive "Missing match arm".Dawer2021-05-141-0/+1
* Fix inference with conditionally compiled tailsDaniel McNab2021-05-031-1/+1
* decl_check: follow test style guideJonas Schievink2021-04-131-60/+59
* address review feedbackJade2021-04-131-21/+35
* decl_check: consider outer scopes' allowsJade2021-04-081-10/+122
* infer: remove `record_field_resolutions` fieldJonas Schievink2021-04-061-5/+4
* Move Ty accessors to TyExtLukas Wirth2021-04-062-2/+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
* Access a body's block def maps via a methodJonas Schievink2021-04-041-2/+1
* Use bitflags to compress function propertiesJonas Schievink2021-04-032-4/+4
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-033-3/+3
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-032-2/+7
* Fix expansion of OR-patterns in match checkJesse Bakker2021-03-301-25/+15
* Fix infinite recursion when computing diagnostics for inner itemsJonas Schievink2021-03-181-1/+14
* 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-173-19/+19
* Introduce FunctionQualifier for hir::FunctionDataoxalica2021-03-152-4/+4
* Use chalk_ir::FnDefIdFlorian Diebold2021-03-131-1/+1
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-133-17/+16
* Use `body.block_scopes` to validate inner itemsJonas Schievink2021-03-091-3/+8
* Use upstream cov-markLaurențiu Nicola2021-03-081-7/+4
* Use chalk_ir::AdtIdLukas Wirth2021-03-042-9/+11
* Introduce Ty::AliasLukas Wirth2021-03-011-1/+1
* Inline TypeCtor into TyLukas Wirth2021-02-283-16/+9
* Update fixed testsJonas Schievink2021-02-101-15/+14
*-. Merge #7570 #7571bors[bot]2021-02-051-160/+119
|\ \
| | * Cleanup decl_checkLukas Wirth2021-02-051-160/+119
| |/
* / Remove unnecessary allocs in case_convLukas Wirth2021-02-051-18/+16
|/
* Classify function calls as functions when shadowed by typesLukas Wirth2021-01-281-9/+3
* 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
* prepare to publish el libro de arenaAleksey Kladov2021-01-141-1/+1
* Fixed typos in local bindingsVincent Esche2021-01-091-2/+2
* Fixed typos in code commentsVincent Esche2021-01-091-2/+2
* cargo fmtPhil Ellison2021-01-071-6/+9