aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty.rs
Commit message (Collapse)AuthorAgeFilesLines
...
| * Remove Const inference for now, refactor PathResultVille Penttinen2019-02-211-36/+19
| |
| * Implement basic support for Associated Methods and ConstantsVille Penttinen2019-02-211-25/+83
| | | | | | | | | | | | | | This is done in `infer_path_expr`. When `Resolver::resolve_path` returns `PartiallyResolved`, we use the returned `Resolution` together with the given `segment_index` to check if we can find something matching the segment at segment_index in the impls for that particular type.
* | Add an assert (and fix the other)Florian Diebold2019-02-211-1/+2
| |
* | Fix handling of generics in tuple variants and refactor a bitFlorian Diebold2019-02-201-38/+45
|/ | | | | | Also make them display a tiny bit nicer. Fixes #860.
* Merge #852bors[bot]2019-02-181-0/+1
|\ | | | | | | | | | | | | | | 852: Handle != r=flodiebold a=matklad r? @flodiebold Co-authored-by: Aleksey Kladov <[email protected]>
| * handle != operatorAleksey Kladov2019-02-181-0/+1
| |
* | Handle tuple structs / enum variants properly in type inferenceFlorian Diebold2019-02-171-21/+75
|/
* Unify with the autorefed/autoderefed receiver type during method resolutionFlorian Diebold2019-02-171-7/+11
|
* Handle generic args for method callsFlorian Diebold2019-02-161-4/+34
|
* Handle impl generics in method callsFlorian Diebold2019-02-161-5/+10
|
* Fix another crashFlorian Diebold2019-02-121-2/+2
|
* Spell cases explicitly in Ty::walk{_mut}Florian Diebold2019-02-101-2/+18
|
* Add an ra_cli command that analyses all crates in the current workspaceFlorian Diebold2019-02-101-0/+35
| | | | ... and prints various stats about how many expressions have a type etc.
* Add comment and markFlorian Diebold2019-02-091-2/+8
|
* Fix another crash, and try harder to prevent stack overflowsFlorian Diebold2019-02-091-7/+20
|
* Fix two crashes found by running inference on all of rustcFlorian Diebold2019-02-091-15/+24
|
* reformat the worldAleksey Kladov2019-02-081-187/+62
|
* Some clippy cleanupskjeremy2019-02-061-4/+4
|
* Make the Resolution variants tuple variantsFlorian Diebold2019-02-011-9/+9
|
* Use new Resolver API in type inferenceFlorian Diebold2019-02-011-157/+113
|
* split HirDatabase apicsmoe2019-02-011-1/+1
|
* Merge #701bors[bot]2019-01-301-3/+13
|\ | | | | | | | | | | | | | | | | | | 701: Minor type inference tweaks r=flodiebold a=marcusklaas Pass down expectation for reference expressions and type the guard in match expressions. I wasn't able to add a test for the former addition because the type variable previously introduced would always resolve to the right type in the things I tried! Co-authored-by: Marcus Klaas de Vries <[email protected]>
| * Infer type of match guardMarcus Klaas de Vries2019-01-281-3/+13
| |
* | Rename FnScopes -> ExprScopesFlorian Diebold2019-01-301-4/+4
| | | | | | | | | | The reason for this is that it describes scopes for any body expression, not just that of a function. It did not actually refer to functions at all anymore.
* | Use match-all instead of individual branchesWizardOfMenlo2019-01-281-5/+1
| |
* | Added support for primitive types type inference when using std::ops::NotWizardOfMenlo2019-01-281-3/+11
| |
* | Process second reviewMarcus Klaas de Vries2019-01-271-35/+28
| |
* | Use type information from the turbofishMarcus Klaas de Vries2019-01-271-6/+28
| |
* | Add a FnSig to Ty::FnDefMarcus Klaas de Vries2019-01-271-38/+64
| |
* | Address some issues flagged in reviewMarcus Klaas de Vries2019-01-271-25/+18
| |
* | Add type params to FnSignatureMarcus Klaas de Vries2019-01-271-81/+45
| |
* | Initial implementation of generics for method callsMarcus Klaas de Vries2019-01-271-13/+68
| |
* | First attempt at generic type inference for fnsMarcus Klaas de Vries2019-01-271-12/+49
|/
* Add marksFlorian Diebold2019-01-261-0/+4
|
* Handle cycles in type varsFlorian Diebold2019-01-261-9/+24
| | | | This might be the cause of #587.
* Fix type inference of binops on int/float variablesFlorian Diebold2019-01-251-1/+4
| | | | Fixes #651.
* add ability to get strcut field sourceAleksey Kladov2019-01-251-23/+4
|
* remember where fields resolve to during inferenceAleksey Kladov2019-01-251-9/+19
|
* use positional ids for fieldsAleksey Kladov2019-01-251-52/+38
|
* move adt to adtAleksey Kladov2019-01-241-18/+1
|
* ModuleDef is Def-freeAleksey Kladov2019-01-241-1/+0
|
* Migrate trait & type to new idsAleksey Kladov2019-01-241-1/+3
|
* move consts&statics to new idAleksey Kladov2019-01-241-1/+4
|
* removed untyped typabledefAleksey Kladov2019-01-241-26/+3
|
* move enum variant to the new APIAleksey Kladov2019-01-241-73/+48
|
* macro-generate fromsAleksey Kladov2019-01-241-36/+3
|
* kill unused defsAleksey Kladov2019-01-241-5/+0
|
* migrate enums to new idAleksey Kladov2019-01-241-31/+59
|
* new struct idAleksey Kladov2019-01-241-44/+106
|
* Functions use new id schemeAleksey Kladov2019-01-241-79/+101
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-18 07:59:23 +0100