aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/infer/expr.rs
Commit message (Collapse)AuthorAgeFilesLines
* Use Id for variatsAleksey Kladov2019-11-271-15/+19
|
* Decouple moreAleksey Kladov2019-11-271-6/+6
|
* Cleanup importsAleksey Kladov2019-11-271-3/+2
|
* Remove ns-polymorphic type_for_defAleksey Kladov2019-11-261-7/+3
|
* Id-ify Ty::AdtAleksey Kladov2019-11-261-9/+12
|
* Use TypeAliasId in Ty, pt 2Aleksey Kladov2019-11-251-3/+3
|
* More ids in TyAleksey Kladov2019-11-251-2/+4
|
* Fixme for union fieldsAleksey Kladov2019-11-251-0/+2
|
* Use ids for CallableAleksey Kladov2019-11-251-5/+9
|
* Remove Resolver from autoderefAleksey Kladov2019-11-251-14/+26
| | | | | Resolver holds onto too much context, including local scopes. Let's try to pass in only what is necessary -- the trait environment.
* Switch to variant-granularity field type inferenceAleksey Kladov2019-11-241-3/+8
|
* Don't redo field resolution in the IDEAleksey Kladov2019-11-241-13/+15
|
* Remove old hir::generics moduleAleksey Kladov2019-11-211-3/+5
|
* Move resolver to hir_defAleksey Kladov2019-11-211-2/+3
|
* DecoupleAleksey Kladov2019-11-211-1/+1
|
* Move expr resolver to resolveAleksey Kladov2019-11-211-2/+3
|
* Reduce duplication between uncertain floats & intsAleksey Kladov2019-11-131-15/+15
|
* Remove owner from BodyAleksey Kladov2019-11-121-5/+3
|
* Move definition of exprs to hir_defAleksey Kladov2019-11-121-2/+2
|
* Move Namespace enum closer to usageAleksey Kladov2019-11-041-3/+3
|
* Remove last traces of nameres from hirAleksey Kladov2019-11-031-2/+1
|
* push name down to hir_expandAleksey Kladov2019-10-301-4/+2
|
* remove forward pointer to PathAleksey Kladov2019-10-301-2/+4
|
* remove forward pointer for nameAleksey Kladov2019-10-301-1/+2
|
* Split up infer.rs furtherFlorian Diebold2019-10-121-0/+658
- coercion logic goes to `coerce.rs` - expression inference goes to `expr.rs` - pattern inference goes to `pat.rs`