aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
* 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
* Use only one code-path for parsing fixturesAleksey Kladov2020-06-238-2692/+2692
* Remove RelativePathBuf from fixtureAleksey Kladov2020-06-221-1/+1
* Merge #4947bors[bot]2020-06-204-56/+87
|\
| * Recursively compute impl setsJonas Schievink2020-06-191-13/+26
| * Don't include downstream crate in queryJonas Schievink2020-06-191-1/+2
| * Replace `impls_in_trait` with `CrateImplDefs`Jonas Schievink2020-06-194-57/+74
* | Merge #4958bors[bot]2020-06-204-24/+312
|\ \
| * | Push obligation instead of matching on solutionadamrk2020-06-202-45/+40
| * | Get Output assoc type by nameadamrk2020-06-201-13/+3
| * | Add test for dyn Fn Outputadamrk2020-06-201-0/+68
| * | move tests to ra_hir_tyadamrk2020-06-201-0/+155
| * | Fixes to callable_sig_from_fn_traitadamrk2020-06-201-65/+65
| * | Make get_fn_trait a method of FnTraitadamrk2020-06-203-21/+21
| * | Switch back callable_sig for known fn typesadamrk2020-06-202-4/+4
| * | Infer FnSig from Fn traitsadamrk2020-06-194-18/+98