aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty
Commit message (Expand)AuthorAgeFilesLines
* 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-276-41/+109
|\
| * Bump chalkLaurențiu Nicola2020-06-266-41/+109
* | 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
* | | Shift bound variables correctly when using assoc type shorthandFlorian Diebold2020-06-192-0/+94
* | | Use correct substs for super trait assoc typesFlorian Diebold2020-06-193-17/+47
|/ /
* | Fix substs in resolve_value_path for ImplSelfVincent Rouillé2020-06-192-1/+33
* | Merge #4851bors[bot]2020-06-191-1/+11
|\ \
| * | Add quickfix to add a struct fieldTimo Freiberg2020-06-121-1/+11
* | | Merge #4839bors[bot]2020-06-191-7/+56
|\ \ \ | |_|/ |/| |
| * | Apply suggestions from code reviewvsrs2020-06-181-28/+25
| * | Add Type::walk methodvsrs2020-06-181-0/+52
| * | Add `Go to Type Definition` hover action.vsrs2020-06-181-3/+3
* | | Avoid all unchecked indexing in match checkingJonas Schievink2020-06-171-28/+49
|/ /
* | Use ra_fixture and reformat testsJonas Schievink2020-06-161-387/+385
* | Fix index-out-of-bounds panic in match checkingJonas Schievink2020-06-161-2/+26
* | _match.rs: improve comment formattingJonas Schievink2020-06-141-113/+142
|/
* Make known paths use `core` instead of `std`Jonas Schievink2020-06-114-28/+32