aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/infer
Commit message (Collapse)AuthorAgeFilesLines
* Remove ns-polymorphic type_for_defAleksey Kladov2019-11-262-11/+6
|
* Use TraitId in TraitRefAleksey Kladov2019-11-261-18/+21
|
* Id-ify Ty::AdtAleksey Kladov2019-11-262-15/+18
|
* 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
|
* Fix hir for ast::UnionDefAleksey Kladov2019-11-251-1/+1
|
* Use ids for CallableAleksey Kladov2019-11-251-5/+9
|
* Use GenericDefIdMoreAleksey Kladov2019-11-251-1/+1
|
* Remove Resolver from autoderefAleksey Kladov2019-11-252-18/+35
| | | | | 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-243-11/+22
|
* Don't redo field resolution in the IDEAleksey Kladov2019-11-241-13/+15
|
* Move lang_items to hir_defAleksey Kladov2019-11-231-3/+4
|
* Remove old hir::generics moduleAleksey Kladov2019-11-212-5/+6
|
* Move resolver to hir_defAleksey Kladov2019-11-213-8/+12
|
* DecoupleAleksey Kladov2019-11-211-2/+2
|
* DecoupleAleksey Kladov2019-11-212-12/+13
|
* Move expr resolver to resolveAleksey Kladov2019-11-211-2/+3
|
* Decouple ResolverAleksey Kladov2019-11-211-2/+2
|
* Fix handling of the binders in dyn/impl TraitFlorian Diebold2019-11-161-10/+12
| | | | | | | | | We need to be more careful now when substituting bound variables (previously, we didn't have anything that used bound variables except Chalk, so it was not a problem). This is obviously quite ad-hoc; Chalk has more infrastructure for handling this in a principled way, which we maybe should adopt.
* 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
|
* Don't reexport generics from HIRAleksey Kladov2019-11-111-1/+2
|
* Move Namespace enum closer to usageAleksey Kladov2019-11-042-5/+5
|
* Remove last traces of nameres from hirAleksey Kladov2019-11-031-2/+1
|
* Various review fixesFlorian Diebold2019-11-011-11/+7
|
* Refactor to unify with method resolutionFlorian Diebold2019-11-011-108/+27
|
* Record assoc item resolutionFlorian Diebold2019-11-011-1/+3
|
* Insert type vars before doing assoc item resolutionFlorian Diebold2019-11-011-0/+3
|
* Get trait assoc item resolution mostly workingFlorian Diebold2019-11-011-8/+98
|
* push name down to hir_expandAleksey Kladov2019-10-301-4/+2
|
* remove forward pointer for type_refAleksey Kladov2019-10-301-2/+1
|
* remove forward pointer to PathAleksey Kladov2019-10-302-4/+8
|
* remove forward pointer for nameAleksey Kladov2019-10-301-1/+2
|
* Bump depsLaurențiu Nicola2019-10-171-1/+3
|
* make_mut_sliceShotaro Yamada2019-10-141-11/+7
|
* Avoid cloning `Arc<[T]>` into a vec if possibleShotaro Yamada2019-10-141-8/+15
|
* Split up infer.rs furtherFlorian Diebold2019-10-123-0/+1174
| | | | | | - coercion logic goes to `coerce.rs` - expression inference goes to `expr.rs` - pattern inference goes to `pat.rs`
* Add SubstsBuilderFlorian Diebold2019-09-262-20/+14
| | | | + further refactoring.
* Better handle never type and branch merginguHOOCCOOHu2019-09-251-0/+1
| | | | Split out tests for never type to another file
* Resolve trait associated itemsFlorian Diebold2019-09-251-4/+51
| | | | E.g. `Default::default` or `<Foo as Default>::default`.
* Split off path expression inference code into submoduleFlorian Diebold2019-09-231-0/+195
|
* Make type walking infrastructure a bit nicerFlorian Diebold2019-09-031-1/+1
| | | | | If/when we switch to using Chalk's Ty, we'll need to replace this by its `Fold` trait, but I didn't want to import the whole thing just yet.
* Unify `normalize` and `implements` to simplify codeFlorian Diebold2019-07-081-20/+12
|
* Use environment for associated type normalization as wellFlorian Diebold2019-07-081-4/+8
|
* Refactor a bit & introduce Environment structFlorian Diebold2019-07-081-4/+16
|
* add projection to infer for loop variableUnreal Hoang2019-07-071-1/+28
|
* Some clippy fixes for 1.36Jeremy Kolb2019-07-041-2/+2
|
* allow rustfmt to reorder importsAleksey Kladov2019-07-041-2/+2
| | | | | | This wasn't a right decision in the first place, the feature flag was broken in the last rustfmt release, and syntax highlighting of imports is more important anyway
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-25 12:34:35 +0000