aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
* Fix #2705Florian Diebold2020-01-032-1/+18
* Resolve traits in infer using lang item infrastructureEmil Lauridsen2019-12-293-10/+19
* Don't add non-impl/trait containers to scopeAleksey Kladov2019-12-293-24/+95
* Merge #2657bors[bot]2019-12-272-17/+26
|\
| * Omit closure parametersKirill Bulatov2019-12-232-17/+26
* | Merge #2661bors[bot]2019-12-242-2/+78
|\ \ | |/ |/|
| * Check if parameters is emptyEdwin Cheng2019-12-241-4/+6
| * Add FIXMEEdwin Cheng2019-12-241-1/+5
| * Implement infer await from async funcEdwin Cheng2019-12-242-2/+72
* | Filter out error predicates in type bounds as wellFlorian Diebold2019-12-222-2/+29
* | Introduce our own Chalk TypeFamily, instead of using ChalkIrFlorian Diebold2019-12-224-87/+126
* | Refactor Chalk integration some moreFlorian Diebold2019-12-222-79/+83
* | Update Chalk, clean up Chalk integration a bitFlorian Diebold2019-12-223-121/+100
|/
* Rudimentary name resolution for local itemsAleksey Kladov2019-12-221-6/+6
* Merge #2626bors[bot]2019-12-211-0/+23
|\
| * Recursive collect macros in impl itemsEdwin Cheng2019-12-201-0/+23
* | Merge #2625bors[bot]2019-12-212-3/+3
|\ \ | |/ |/|
| * Clippy lintskjeremy2019-12-202-3/+3
* | Merge #2624bors[bot]2019-12-203-3/+3
|\ \
| * | Move impls to ItemScopeAleksey Kladov2019-12-203-3/+3
* | | Merge #2623bors[bot]2019-12-201-0/+19
|\ \ \ | |_|/ |/| |
| * | Add support macros in impl blocksEdwin Cheng2019-12-201-0/+19
| |/
* | Coerce closures to fn pointersFlorian Diebold2019-12-203-5/+48
* | Fix coercion of last expression in function bodyFlorian Diebold2019-12-203-2/+18
* | Handle closure return typesFlorian Diebold2019-12-204-4/+106
|/
* Merge #2592bors[bot]2019-12-203-5/+59
|\
| * Use fill instread of for loopEdwin Cheng2019-12-191-5/+3
| * Use build_for_defEdwin Cheng2019-12-191-1/+1
| * Add std::ops::Index support for inferingEdwin Cheng2019-12-193-5/+61
* | Use generic ItemLoc for implsAleksey Kladov2019-12-202-2/+2
* | Support for nested traitsAleksey Kladov2019-12-201-2/+4
* | Support for nested ADTAleksey Kladov2019-12-201-2/+2
* | Introduce `ContainerId`Aleksey Kladov2019-12-203-3/+3
* | Rename ContainerId -> AssocContainerIdAleksey Kladov2019-12-206-22/+22
* | Add body as a possible container for itemsAleksey Kladov2019-12-193-7/+7
* | Remove TruncateOptions structKirill Bulatov2019-12-191-13/+10
* | Omit default parameter typesKirill Bulatov2019-12-192-7/+47
* | Forbid <T>::foo syntax in mod pathsAleksey Kladov2019-12-182-5/+5
|/
* Add test markFlorian Diebold2019-12-153-2/+9
* Handle impl Trait more correctlyFlorian Diebold2019-12-153-1/+56
* Add test for unifying impl TraitFlorian Diebold2019-12-151-1/+27
* Use different types for path with and without genericsAleksey Kladov2019-12-144-51/+51
* Use path macroFlorian Diebold2019-12-132-15/+15
* Rename N! to name!Florian Diebold2019-12-135-15/+15
* Add macros for known names and pathsFlorian Diebold2019-12-135-17/+15
* Correctly infer - and ! using std::ops::{Neg,Not}Emil Lauridsen2019-12-133-23/+104
* Add helper for resolving associated type of trait in inferEmil Lauridsen2019-12-132-47/+25
* Move enum&union to new locAleksey Kladov2019-12-121-4/+5
* Move structs to new locAleksey Kladov2019-12-121-1/+1
* Move traits to the new locAleksey Kladov2019-12-121-4/+2