aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
* 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
* Switch to the new location for implsAleksey Kladov2019-12-122-4/+4
* Fix coercion from &Foo to an inference variable in a referenceFlorian Diebold2019-12-082-1/+42
* Merge #2466bors[bot]2019-12-081-0/+29
|\
| * Add testsEdwin Cheng2019-12-061-0/+29
* | Rename GenericParam -> TypeParamAleksey Kladov2019-12-071-14/+12
* | ReformatAleksey Kladov2019-12-071-2/+2
* | Refactor parameter count trackingAleksey Kladov2019-12-076-32/+30
* | Remove idx and parent generics from genericsAleksey Kladov2019-12-076-60/+135
* | Store GenericParams in arenaAleksey Kladov2019-12-071-1/+1
* | Merge #2484bors[bot]2019-12-061-3/+5
|\ \ | |/ |/|
| * DynMapAleksey Kladov2019-12-061-3/+5
* | Don't unify within a referenceFlorian Diebold2019-12-063-11/+72
|/
* Simplify testAleksey Kladov2019-12-051-13/+10
* Implement derive(Copy, Clone) properly (well, kind of)Florian Diebold2019-12-051-0/+51
* Fix test compilationice10002019-12-041-1/+1
* Split up ty tests a bitFlorian Diebold2019-12-037-4902/+4882
* Replace `ra_hir_expand::either` with crateice10002019-12-031-2/+2
* Fix #2467Florian Diebold2019-12-034-7/+65
* Merge #2465bors[bot]2019-12-033-127/+219
|\
| * Extract built-in trait implementations to separate moduleFlorian Diebold2019-12-033-127/+219
* | Make unify pub(crate)Florian Diebold2019-12-031-1/+1
* | Add tests for checking the impl self typeFlorian Diebold2019-12-021-0/+14
* | Refactor a bitFlorian Diebold2019-12-023-77/+74
* | Check receiver type properlyFlorian Diebold2019-12-024-19/+80
* | Extract unification code to unify moduleFlorian Diebold2019-12-026-263/+312
* | Change order of calls to get method candidate order correctFlorian Diebold2019-12-022-39/+115
|/
* Merge #2455bors[bot]2019-12-011-0/+36
|\
| * Add BuiltinShadowModeEdwin Cheng2019-11-301-0/+36
* | Add cycle recovery for type aliasesFlorian Diebold2019-11-303-2/+10
* | Add cycle recovery for generic predicatesFlorian Diebold2019-11-303-8/+10
* | Handle cycles in impl types betterFlorian Diebold2019-11-308-53/+82
* | Reduce variants of Exproxalica2019-11-291-39/+37
* | Infer range typesoxalica2019-11-283-0/+127
|/
* Move source-related traits to a separate moduleAleksey Kladov2019-11-281-1/+1
* Rename Source -> InFileAleksey Kladov2019-11-282-9/+9
* Use Name::missing consistentlyAleksey Kladov2019-11-271-18/+7
* Minimize APIAleksey Kladov2019-11-271-8/+3