aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/lower.rs
Commit message (Expand)AuthorAgeFilesLines
* Add HasResolver traitAleksey Kladov2019-11-201-1/+1
* Remove hir/adt.rsAleksey Kladov2019-11-201-2/+1
* Allow non-path default type parametersAleksey Kladov2019-11-201-3/+1
* Reduce duplication between uncertain floats & intsAleksey Kladov2019-11-131-7/+7
* Move definition of exprs to hir_defAleksey Kladov2019-11-121-5/+33
* Minor refactoringAleksey Kladov2019-11-121-3/+3
* Unfork struct and union idsAleksey Kladov2019-11-091-2/+2
* Move Namespace enum closer to usageAleksey Kladov2019-11-041-2/+13
* Remove last traces of nameres from hirAleksey Kladov2019-11-031-3/+2
* move struct & enum data to hir_defAleksey Kladov2019-10-311-4/+4
* move builtin types to hir_defAleksey Kladov2019-10-311-5/+11
* remove forward pointer for type_refAleksey Kladov2019-10-301-2/+4
* remove forward pointer to PathAleksey Kladov2019-10-301-1/+2
* make_mut_sliceShotaro Yamada2019-10-141-4/+2
* import make_mut_arc_sliceShotaro Yamada2019-10-141-1/+2
* `.collect()` directly into `Arc<[T]>`Shotaro Yamada2019-10-141-18/+14
* Avoid cloning `Arc<[T]>` into a vec if possibleShotaro Yamada2019-10-141-4/+3
* Support inferring `Self` type in enum definitionsice10002019-10-081-0/+1
* Add SubstsBuilderFlorian Diebold2019-09-261-7/+13
* Resolve trait associated itemsFlorian Diebold2019-09-251-1/+1
* Handle associated type shorthand (`T::Item`)Florian Diebold2019-09-221-9/+88
* Remove assoc type selection code for now to fix crashesFlorian Diebold2019-09-171-19/+4
* Small review improvementsFlorian Diebold2019-09-171-5/+3
* Refactor some moreFlorian Diebold2019-09-171-10/+24
* Refactor associated item resolution moreFlorian Diebold2019-09-171-53/+66
* Resolve assoc types on type parametersFlorian Diebold2019-09-171-21/+58
* Support bare `Trait` without dynFlorian Diebold2019-09-141-2/+1
* Specify desirable namespace when calling resolveAleksey Kladov2019-09-131-55/+53
* rename AdtDef -> AdtAleksey Kladov2019-09-121-13/+11
* generalize impl_froms to nested enumsAleksey Kladov2019-09-121-19/+9
* make various enums "inherit" from AdtDefAleksey Kladov2019-09-121-29/+29
* start cleaning up the resolutionAleksey Kladov2019-09-121-1/+1
* cleanup hir db importsAleksey Kladov2019-09-081-2/+3
* Lower bounds on trait definition, and resolve assoc types from super traitsFlorian Diebold2019-09-071-12/+15
* Make type walking infrastructure a bit nicerFlorian Diebold2019-09-031-0/+1
* Add support for associated type bindings (`where Trait<Type = X>`)Florian Diebold2019-09-031-28/+57
* Add `impl Trait` and `dyn Trait` typesFlorian Diebold2019-08-221-11/+54
* Normalize associated types during inferenceFlorian Diebold2019-08-121-5/+0
* Lower fully qualified associated type pathsFlorian Diebold2019-08-121-15/+73
* Some renamings for clarityFlorian Diebold2019-07-141-2/+5
* Start handling environment in trait resolutionFlorian Diebold2019-07-081-0/+12
* Make EnumVariant a GenericDef and simplify some codeFlorian Diebold2019-07-061-0/+10
* Add trait obligations for where clauses when calling functions/methodsFlorian Diebold2019-07-061-6/+4
* allow rustfmt to reorder importsAleksey Kladov2019-07-041-11/+10
* rename XSignature -> XDataAleksey Kladov2019-06-181-8/+7
* Add basic infrastructure for assoc type projectionFlorian Diebold2019-06-151-1/+1
* somewhat better nameAleksey Kladov2019-06-081-2/+2
* add tests for primitive typesAleksey Kladov2019-05-301-2/+1
* add built-in types to scopesAleksey Kladov2019-05-301-16/+0
* add ModuleDef::BuiltInTypeAleksey Kladov2019-05-301-5/+31