aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
* Upgrade ChalkFlorian Diebold2020-07-125-13/+63
* infer: Add type inference support for Union typesOtavio Salvador2020-07-112-2/+32
* arg count mismatch: handle tuple ctorsJonas Schievink2020-07-091-17/+34
* Address review commentsJonas Schievink2020-07-091-40/+27
* Add testsJonas Schievink2020-07-091-0/+129
* Fix diagnostic for method callsJonas Schievink2020-07-091-3/+12
* Correctly pluralize messageJonas Schievink2020-07-091-1/+2
* Don't emit diagnostic if there are type errorsJonas Schievink2020-07-091-0/+7
* Add argument count mismatch diagnosticJonas Schievink2020-07-092-5/+92
*-. Merge #5235 #5236 #5241bors[bot]2020-07-074-9/+6
|\ \
| | * Clippy perf warningskjeremy2020-07-064-9/+6
| |/
* / Switch to fully dynamically dispatched salsaAleksey Kladov2020-07-075-22/+18
|/
* Fix inference of indexing argument (partly)Florian Diebold2020-07-032-8/+48
* Merge #5149bors[bot]2020-07-017-66/+135
|\
| * Implement Chalk variable kindsFlorian Diebold2020-07-017-66/+135
* | ItemTree: Lower fields despite invalid typeJonas Schievink2020-07-011-0/+24
* | Split `CrateImplDefs` in inherent and trait implsJonas Schievink2020-07-013-105/+110
* | Don't recursively call `impls_from_deps`Jonas Schievink2020-07-011-11/+2
* | Use dynamic dispatch in AstDiagnosticLaurențiu Nicola2020-07-011-5/+5
|/
* Better factoringAleksey Kladov2020-06-302-9/+18
* Update the rest of the testsAleksey Kladov2020-06-297-438/+297
* (T): make typification tests more data drivenAleksey Kladov2020-06-294-133/+103
* Merge #5124bors[bot]2020-06-294-18/+92
|\
| * (Partially) fix handling of type params depending on type paramsFlorian Diebold2020-06-294-18/+92
* | Simlify with matches!()Veetaha2020-06-282-13/+3
|/
* Simplify unsafe expr collection matchPaul Daniel Faria2020-06-271-4/+3
* Improve perf of finding unsafe exprsPaul Daniel Faria2020-06-271-49/+39
* Remove unneeded code, filename from tests, fix rebasing issuesPaul Daniel Faria2020-06-272-17/+5
* Remove track_parent and parent_map, replace with simple walk in missign unsaf...Paul Daniel Faria2020-06-271-19/+23
* unsafe: Clean up, improve tracking, add debug_assertPaul Daniel Faria2020-06-272-72/+74
* Add HighlightTag::Operator, use it for unsafe deref. Move unsafe validation t...Paul Daniel Faria2020-06-274-48/+69
* Track expr parents during lowering, use parent map when checking if unsafe ex...Paul Daniel Faria2020-06-272-12/+12
* Address review comments, have MissingUnsafe diagnostic point to each unsafe u...Paul Daniel Faria2020-06-273-25/+19
* Rename Expr::UnsafeBlock to Expr::UnsafePaul Daniel Faria2020-06-272-2/+2
* Track unsafe blocks, don't trigger missing unsafe diagnostic when unsafe expr...Paul Daniel Faria2020-06-274-16/+72
* Add missing self param to testPaul Daniel Faria2020-06-271-1/+1
* Remove UnnecessaryUnsafe diagnostic, Fix Expr::Call unsafe analysisPaul Daniel Faria2020-06-273-69/+21
* Add tests covering unsafe blocks, more attempts to get call expr tests passingPaul Daniel Faria2020-06-272-1/+86
* Move diagnostics back into expr, add tests for diagnostics, fix logic to acco...Paul Daniel Faria2020-06-274-20/+154
* Add unsafe diagnostics and unsafe highlightingPaul Daniel Faria2020-06-272-1/+81
* Merge #4982bors[bot]2020-06-275-39/+107
|\
| * Bump chalkLaurențiu Nicola2020-06-265-39/+107
* | Merge #5033bors[bot]2020-06-271-0/+46
|\ \
| * | Split glob import map to per-ns, switch ExprCollector to use a simpler push_resPaul Daniel Faria2020-06-261-0/+46
* | | Address review commentsJonas Schievink2020-06-261-1/+2
| |/ |/|
* | Infer type for slice wildcard patternsadamrk2020-06-253-2/+34
|/
* Make `iterate_method_candidates` non-genericJonas Schievink2020-06-241-56/+73
* Remove file id from item treeJonas Schievink2020-06-241-3/+3
* draw the rest of the owlJonas Schievink2020-06-241-5/+11
* Fix string literal inference in matchLaurențiu Nicola2020-06-242-13/+77