aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/traits
Commit message (Collapse)AuthorAgeFilesLines
* Remove ns-polymorphic type_for_defAleksey Kladov2019-11-261-1/+1
|
* Use TraitId in TraitRefAleksey Kladov2019-11-261-27/+23
|
* Remove assoc_type_by_name helperAleksey Kladov2019-11-261-16/+17
|
* Use TypeAliasId in Ty, pt 2Aleksey Kladov2019-11-251-22/+12
|
* Use TypeAliasId in Ty, pt 1Aleksey Kladov2019-11-251-1/+13
|
* Use GenericDefIdMoreAleksey Kladov2019-11-251-1/+1
|
* Use GenericDefId moreAleksey Kladov2019-11-251-5/+5
|
* SimplifyAleksey Kladov2019-11-241-3/+3
|
* Remove ids moduleAleksey Kladov2019-11-241-9/+9
|
* Move lang_items to hir_defAleksey Kladov2019-11-231-2/+3
|
* Remove old hir::generics moduleAleksey Kladov2019-11-211-7/+6
|
* Upgrade Chalk againFlorian Diebold2019-11-161-16/+16
|
* Use Chalk's dyn/impl trait supportFlorian Diebold2019-11-161-2/+9
|
* Upgrade ChalkFlorian Diebold2019-11-161-107/+179
| | | | | Associated type values (in impls) are now a separate entity in Chalk, so we have to intern separate IDs for them.
* Remove old impls infrastructureAleksey Kladov2019-11-151-3/+3
|
* Move body queries to hir_defAleksey Kladov2019-11-141-2/+2
|
* Minor cleanupAleksey Kladov2019-11-121-1/+1
|
* Don't reexport generics from HIRAleksey Kladov2019-11-111-2/+2
|
* Move Namespace enum closer to usageAleksey Kladov2019-11-041-2/+5
|
* push name down to hir_expandAleksey Kladov2019-10-301-1/+2
|
* remove forward pointer for nameAleksey Kladov2019-10-301-1/+2
|
* Move ids to hir_def crateAleksey Kladov2019-10-301-29/+5
|
* introduce ra_hir_defAleksey Kladov2019-10-301-2/+2
|
* Upgrade Chalk, make use of TypeName::Error variantFlorian Diebold2019-10-291-8/+7
|
* Upgrade Chalk (without using its dyn/impl Trait support)Florian Diebold2019-10-261-40/+70
|
* `.collect()` directly into `Arc<[T]>`Shotaro Yamada2019-10-141-2/+1
|
* Chalk update to simplified IRkjeremy2019-10-101-24/+34
|
* Add SubstsBuilderFlorian Diebold2019-09-261-61/+19
| | | | + further refactoring.
* Fix retrieval of the Fn traitsFlorian Diebold2019-09-251-3/+2
| | | | | I used the wrong query, so it only used the lang items from the respective crate...
* Implement the call argument checking order hack for closuresFlorian Diebold2019-09-241-2/+2
|
* Make closures impl closure traitsFlorian Diebold2019-09-241-10/+122
|
* Give closures typesFlorian Diebold2019-09-241-0/+4
|
* Upgrade Chalk againFlorian Diebold2019-09-241-3/+6
|
* Upgrade ChalkFlorian Diebold2019-09-231-4/+6
|
* Handle projection types from ChalkFlorian Diebold2019-09-221-1/+5
|
* Remove TraitItem and ImplItem in favor of AssocItemFlorian Diebold2019-09-171-3/+3
|
* Upgrade ChalkFlorian Diebold2019-09-141-9/+0
| | | | ... and remove Ty::UnselectedProjection. It'll be handled differently.
* also make "unknown" case non-enumerableNiko Matsakis2019-09-091-1/+1
|
* make all traits non-enumerableNiko Matsakis2019-09-091-9/+1
| | | | | As discussed on Zulip, this actually matches the present behavior of rustc.
* Fix Chalk environmentsFlorian Diebold2019-09-071-1/+2
| | | | | The clauses need to be wrapped in `FromEnv` clauses for elaboration (i.e. things like inferring `T: Clone` from `T: Copy`) to work correctly.
* Lower bounds on trait definition, and resolve assoc types from super traitsFlorian Diebold2019-09-071-1/+1
|
* Make type walking infrastructure a bit nicerFlorian Diebold2019-09-031-0/+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.
* Add support for associated type bindings (`where Trait<Type = X>`)Florian Diebold2019-09-031-0/+7
|
* Add `impl Trait` and `dyn Trait` typesFlorian Diebold2019-08-221-1/+3
| | | | | | | - refactor bounds handling in the AST a bit - add HIR for bounds - add `Ty::Dyn` and `Ty::Opaque` variants and lower `dyn Trait` / `impl Trait` syntax to them
* Handle placeholder assoc types when Chalk produces themFlorian Diebold2019-08-121-3/+18
|
* Normalize associated types during inferenceFlorian Diebold2019-08-121-3/+4
|
* Add representations of associated typesFlorian Diebold2019-08-121-0/+23
| | | | | | | | | | | | This adds three different representations, copied from the Chalk model: - `Ty::Projection` is an associated type projection written somewhere in the code, like `<Foo as Trait>::Bar`. - `Ty::UnselectedProjection` is similar, but we don't know the trait yet (`Foo::Bar`). - The above representations are normalized to their actual types during type inference. When that isn't possible, for example for `T::Item` inside an `fn foo<T: Iterator>`, the type is normalized to an application type with `TypeCtor::AssociatedType`.
* Remove blacklist, instead mark `Sized` as non-enumerableFlorian Diebold2019-07-151-17/+3
| | | | | This seems to be enough to prevent hanging in rust-analyzer, Chalk and the rustc repo.
* Cargo update, including updating ChalkFlorian Diebold2019-07-141-0/+2
|
* Some renamings for clarityFlorian Diebold2019-07-141-2/+2
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-14 22:58:30 +0000