aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src
Commit message (Expand)AuthorAgeFilesLines
* Fix crash for super trait cyclesFlorian Diebold2019-09-072-18/+39
* Fix Chalk environmentsFlorian Diebold2019-09-072-3/+4
* Use traits from where clauses for method resolutionFlorian Diebold2019-09-074-21/+44
* Lower `Fn(X, Y) -> Z` pathsFlorian Diebold2019-09-072-12/+48
* Lower bounds on trait definition, and resolve assoc types from super traitsFlorian Diebold2019-09-079-38/+100
* Add some more testsFlorian Diebold2019-09-071-0/+205
* Merge #1779bors[bot]2019-09-062-49/+51
|\
| * minorAleksey Kladov2019-09-062-49/+51
* | make source_root API more abstractAleksey Kladov2019-09-062-7/+9
|/
* Merge #1771bors[bot]2019-09-053-18/+91
|\
| * Hoist macros from extern crate with macro_useuHOOCCOOHu2019-09-052-14/+20
| * Consider prelude to be `macro_use`uHOOCCOOHu2019-09-053-4/+71
* | rename test file to match impl fileAleksey Kladov2019-09-052-1/+1
* | move mod resolution to a separate fileAleksey Kladov2019-09-053-183/+190
|/
* Merge #1743bors[bot]2019-09-055-12/+117
|\
| * Fix typouHOOCCOOHu2019-09-051-2/+2
| * Let `macro_use` bypass module scopeuHOOCCOOHu2019-09-052-35/+52
| * Fix import strategy of `macro_use` and its testuHOOCCOOHu2019-09-024-9/+26
| * Add testuHOOCCOOHu2019-08-311-5/+50
| * Support resolution of `#[macro_use] extern crate`uHOOCCOOHu2019-08-312-2/+28
* | Make type walking infrastructure a bit nicerFlorian Diebold2019-09-038-133/+132
* | Properly format `impl Trait<Type = Foo>` typesFlorian Diebold2019-09-032-23/+97
* | Add support for associated type bindings (`where Trait<Type = X>`)Florian Diebold2019-09-036-52/+183
* | Add test for assoc type bindingsFlorian Diebold2019-09-031-0/+65
* | Correctly build BodySourceMap for macro-expanded expressionsAleksey Kladov2019-09-036-66/+119
* | slightly simplify expr lowering flowAleksey Kladov2019-09-033-129/+136
* | clearer ignoreAleksey Kladov2019-09-031-1/+1
* | remove needless refsAleksey Kladov2019-09-031-2/+2
* | use recrod terminology for hir::PatAleksey Kladov2019-09-033-8/+7
* | move expr lowering to lowerAleksey Kladov2019-09-033-653/+667
* | fix hir for new block syntaxAleksey Kladov2019-09-026-42/+50
* | remove useless traitAleksey Kladov2019-09-021-2/+2
* | Add an expr_source method analogous to the source methods in the code modelFlorian Diebold2019-09-026-30/+79
* | Report type mismatches in analysis-statsFlorian Diebold2019-09-022-7/+7
|/
* :arrow_up: instaAleksey Kladov2019-08-297-1221/+1319
* Small fixesKirill Bulatov2019-08-262-13/+15
* Remove redundant testsKirill Bulatov2019-08-261-63/+5
* Fix 'missing Ok in tail expr' validationFlorian Diebold2019-08-261-3/+4
* Make infer_block not unify; add back calculate_least_upper_boundFlorian Diebold2019-08-262-30/+66
* An attempt to add the coercion logic for NeverKirill Bulatov2019-08-262-51/+98
* Properly coerce never typesKirill Bulatov2019-08-263-57/+46
* Remove extra inference testKirill Bulatov2019-08-263-26/+0
* Fix never in if expressionsKirill Bulatov2019-08-263-4/+53
* Add test marksKirill Bulatov2019-08-263-1/+16
* Fix match type inference for Never match armsKirill Bulatov2019-08-262-6/+32
* TestsKirill Bulatov2019-08-261-0/+104
* Merge #1734bors[bot]2019-08-254-4/+98
|\
| * Simplify checking return type, add new testPhil Ellison2019-08-251-21/+4
| * Fix build for Diagnostic type changePhil Ellison2019-08-251-7/+4
| * Cast SyntaxNodePtr to AstPtr directlyPhil Ellison2019-08-251-14/+3