aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty.rs
Commit message (Collapse)AuthorAgeFilesLines
* Move TyAleksey Kladov2019-11-271-1110/+1
|
* Remove TypableDefAleksey Kladov2019-11-271-1/+1
|
* Crate -> CrateIdAleksey Kladov2019-11-271-8/+5
|
* Remove last traces of adt from TyAleksey Kladov2019-11-261-3/+4
|
* Remove ns-polymorphic type_for_defAleksey Kladov2019-11-261-2/+2
|
* Cleanup importsAleksey Kladov2019-11-261-4/+6
|
* Use TraitId in TraitRefAleksey Kladov2019-11-261-5/+8
|
* Detangle ty from traits a bitAleksey Kladov2019-11-261-0/+1
|
* Id-ify Ty::AdtAleksey Kladov2019-11-261-6/+6
|
* Use TypeAliasId in Ty, pt 2Aleksey Kladov2019-11-251-17/+18
|
* Use TypeAliasId in Ty, pt 1Aleksey Kladov2019-11-251-10/+16
|
* More ids in TyAleksey Kladov2019-11-251-5/+6
|
* Fix hir for ast::UnionDefAleksey Kladov2019-11-251-1/+1
|
* Use ids for CallableAleksey Kladov2019-11-251-6/+13
|
* Use GenericDefIdMoreAleksey Kladov2019-11-251-4/+4
|
* Use GenericDefId moreAleksey Kladov2019-11-251-3/+3
|
* Switch to variant-granularity field type inferenceAleksey Kladov2019-11-241-2/+3
|
* Remove ids moduleAleksey Kladov2019-11-241-0/+8
|
* Remove old hir::generics moduleAleksey Kladov2019-11-211-11/+11
|
* Move constants to new IDAleksey Kladov2019-11-201-2/+3
| | | | This allows us to get rid of trait item index
* Move type inlay hint truncation to language serverEmil Lauridsen2019-11-191-0/+20
| | | | | | | | | | | | This commit implements a general truncation framework for HirFormatter that keeps track of how much has been output so far. This information can then be used to perform truncation inside the language server, instead of relying on the client. Initial support is implemented for truncating types hints using the maxInlayHintLength server config option. The existing solution in the VSCode extension has been removed in favor of letting the server truncate type hints.
* Disable doctestsAleksey Kladov2019-11-171-2/+2
|
* Fix handling of the binders in dyn/impl TraitFlorian Diebold2019-11-161-32/+57
| | | | | | | | | 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-3/+3
|
* Don't reexport generics from HIRAleksey Kladov2019-11-111-6/+6
|
* Move Namespace enum closer to usageAleksey Kladov2019-11-041-1/+1
|
* Various review fixesFlorian Diebold2019-11-011-0/+1
|
* Get trait assoc item resolution mostly workingFlorian Diebold2019-11-011-5/+13
|
* remove forward pointer for type_refAleksey Kladov2019-10-301-2/+2
|
* make_mut_sliceShotaro Yamada2019-10-141-16/+10
|
* `.collect()` directly into `Arc<[T]>`Shotaro Yamada2019-10-141-4/+2
|
* Avoid cloning `Arc<[T]>` into a vec if possibleShotaro Yamada2019-10-141-19/+17
|
* Add SubstsBuilderFlorian Diebold2019-09-261-6/+135
| | | | + further refactoring.
* Avoid intermediate allocationShotaro Yamada2019-09-251-1/+1
|
* Give closures typesFlorian Diebold2019-09-241-1/+22
|
* Handle associated type shorthand (`T::Item`)Florian Diebold2019-09-221-2/+2
| | | | | | | | | | | | This is only allowed for generic parameters (including `Self` in traits), and special care needs to be taken to not run into cycles while resolving it, because we use the where clauses of the generic parameter to find candidates for the trait containing the associated type, but the where clauses may themselves contain instances of short-hand associated types. In some cases this is even fine, e.g. we might have `T: Trait<U::Item>, U: Iterator`. If there is a cycle, we'll currently panic, which isn't great, but better than overflowing the stack...
* Upgrade ChalkFlorian Diebold2019-09-141-45/+0
| | | | ... and remove Ty::UnselectedProjection. It'll be handled differently.
* rename AdtDef -> AdtAleksey Kladov2019-09-121-6/+6
|
* Make type walking infrastructure a bit nicerFlorian Diebold2019-09-031-113/+120
| | | | | 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.
* Properly format `impl Trait<Type = Foo>` typesFlorian Diebold2019-09-031-19/+93
| | | | | | It's a bit complicated because we basically have to 'undo' the desugaring, and the result is very dependent on the specifics of the desugaring and will probably produce weird results otherwise.
* Add support for associated type bindings (`where Trait<Type = X>`)Florian Diebold2019-09-031-0/+33
|
* Handle impl/dyn Trait in method resolutionFlorian Diebold2019-08-221-0/+13
| | | | | | | | | | | | | When we have one of these, the `Trait` doesn't need to be in scope to call its methods. So we need to consider this when looking for method candidates. (Actually I think the same is true when we have a bound `T: some::Trait`, but we don't handle that yet). At the same time, since Chalk doesn't handle these types yet, add a small hack to skip Chalk in method resolution and just consider `impl Trait: Trait` always true. This is enough to e.g. get completions for `impl Trait`, but since we don't do any unification we won't infer the return type of e.g. `impl Into<i64>::into()`.
* Add `impl Trait` and `dyn Trait` typesFlorian Diebold2019-08-221-10/+110
| | | | | | | - 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
* Improve debug logging a bitFlorian Diebold2019-08-121-0/+14
|
* Add representations of associated typesFlorian Diebold2019-08-121-0/+86
| | | | | | | | | | | | 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`.
* provide completion in struct patternsEkaterina Babshukova2019-07-211-1/+1
|
* Some renamings for clarityFlorian Diebold2019-07-141-1/+1
|
* Unify `normalize` and `implements` to simplify codeFlorian Diebold2019-07-081-1/+1
|
* Refactor a bit & introduce Environment structFlorian Diebold2019-07-081-1/+1
|
* Add trait obligations for where clauses when calling functions/methodsFlorian Diebold2019-07-061-2/+2
| | | | | E.g. if we call `foo<T: Into<u32>>(x)`, that adds an obligation that `x: Into<u32>`, etc.