aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty
Commit message (Expand)AuthorAgeFilesLines
* Assert in apply_substs that the number of parameters doesn't changeFlorian Diebold2019-03-211-1/+1
* Rename name field to ctor as wellFlorian Diebold2019-03-213-14/+14
* TypeName => TypeCtorFlorian Diebold2019-03-214-70/+70
* Remove the old variants replaced by Ty::ApplyFlorian Diebold2019-03-214-152/+194
* Represent FnPtr and Tuple using SubstsFlorian Diebold2019-03-212-12/+14
* make Name::new privateAleksey Kladov2019-03-202-14/+56
* Merge #982bors[bot]2019-03-172-17/+136
|\
| * Split test case and use tested_by!.Michael Killough2019-03-172-76/+102
| * Simplify match statement.Michael Killough2019-03-171-6/+1
| * impl Default for BindingMode.Michael Killough2019-03-171-5/+11
| * Implement BindingMode for pattern matching.Michael Killough2019-03-162-62/+154
* | rename ModuleId -> CrateModuleIdAleksey Kladov2019-03-171-4/+4
* | Reorganize name resolutionAleksey Kladov2019-03-171-1/+1
* | Replace module_tree with CrateDefMapAleksey Kladov2019-03-171-1/+3
* | Remove FnSig from FnDef typeFlorian Diebold2019-03-162-8/+16
* | Refactor FnSig a bitFlorian Diebold2019-03-162-36/+57
* | Some more Ty displaying cleanupFlorian Diebold2019-03-161-33/+31
* | Replace Display by a pretty printing trait for TyFlorian Diebold2019-03-163-19/+65
|/
* Use impl_froms!kjeremy2019-03-041-13/+3
* Make ExpOrPatId privatekjeremy2019-03-041-3/+6
* Remove commented out codeJeremy Kolb2019-03-041-9/+0
* Use ImplItems instead of just FunctionJeremy Kolb2019-03-041-34/+48
* Make goto definition/hover resolve constructorskjeremy2019-03-041-3/+40
* Inline type inference test snapshotsFlorian Diebold2019-03-0359-1504/+1096
* Represent unknown types as {unknown} instead of [unknown]Florian Diebold2019-03-0327-170/+170
* Add a bunch of tests for type inference involving traitsFlorian Diebold2019-03-0213-0/+403
* rename syntax-mapping -> source-mapAleksey Kladov2019-03-021-5/+5
* Add static type inferenceVille Penttinen2019-02-253-10/+24
* Add const type inferenceVille Penttinen2019-02-256-19/+104
* Rename Type => TypeAliasFlorian Diebold2019-02-242-11/+11
* Add test for recursive type aliasesFlorian Diebold2019-02-241-0/+14
* Implement support for type aliasesFlorian Diebold2019-02-244-10/+70
* Refactor associated method resolution a bit and make it work with genericsFlorian Diebold2019-02-234-64/+98
* Split ty.rs into several modulesFlorian Diebold2019-02-233-0/+1478
* Fix resolution of associated method calls across cratesFlorian Diebold2019-02-231-2/+39
* Merge #866bors[bot]2019-02-226-0/+223
|\
| * Ignore failing test for nowVille Penttinen2019-02-211-0/+1
| * Remove Const inference for now, refactor PathResultVille Penttinen2019-02-211-7/+7
| * Implement basic support for Associated Methods and ConstantsVille Penttinen2019-02-216-0/+222
* | Fix handling of generics in tuple variants and refactor a bitFlorian Diebold2019-02-203-3/+47
|/
* Merge #852bors[bot]2019-02-182-34/+39
|\
| * handle != operatorAleksey Kladov2019-02-182-34/+39
* | Handle tuple structs / enum variants properly in type inferenceFlorian Diebold2019-02-171-9/+9
|/
* Unify with the autorefed/autoderefed receiver type during method resolutionFlorian Diebold2019-02-173-5/+43
* Handle generic args for method callsFlorian Diebold2019-02-161-3/+3
* Handle impl generics in method callsFlorian Diebold2019-02-162-47/+47
* Add a test for impl genericsFlorian Diebold2019-02-162-0/+71
* Turn ImplBlock into a copy type just containing IDsFlorian Diebold2019-02-161-18/+11
* Fix another crashFlorian Diebold2019-02-122-0/+31
* Implement completion for associated itemsLaurențiu Nicola2019-02-121-0/+20