aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/traits/chalk/interner.rs
Commit message (Collapse)AuthorAgeFilesLines
* Upgrade ChalkFlorian Diebold2020-07-121-0/+15
|
* Bump chalkLaurențiu Nicola2020-06-261-0/+1
|
* Implement return position impl trait / opaque type supportFlorian Diebold2020-06-051-0/+2
| | | | | | | | | | | | | This is working, but I'm not that happy with how the lowering works. We might need an additional representation between `TypeRef` and `Ty` where names are resolved and `impl Trait` bounds are separated out, but things like inference variables don't exist and `impl Trait` is always represented the same way. Also note that this doesn't implement correct handling of RPIT *inside* the function (which involves turning the `impl Trait`s into variables and creating obligations for them). That intermediate representation might help there as well.
* Upgrade ChalkFlorian Diebold2020-05-271-7/+7
| | | | | Chalk newly added TypeName::Never and Array; I implemented the conversion for Never, but not Array since that expects a const argument.
* Use Chalk's built-in representation of function item typesFlorian Diebold2020-05-221-0/+2
|
* Provide missing Chalk debug methodsFlorian Diebold2020-05-221-0/+53
|
* Use TypeCtorId as AdtId directly, and rename the type alias StructId -> AdtIdFlorian Diebold2020-05-221-3/+3
|
* Split up chalk module a bitFlorian Diebold2020-05-221-0/+298