Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Implement return position impl trait / opaque type support | Florian Diebold | 2020-06-05 | 1 | -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 Chalk | Florian Diebold | 2020-05-27 | 1 | -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 types | Florian Diebold | 2020-05-22 | 1 | -0/+2 |
| | |||||
* | Provide missing Chalk debug methods | Florian Diebold | 2020-05-22 | 1 | -0/+53 |
| | |||||
* | Use TypeCtorId as AdtId directly, and rename the type alias StructId -> AdtId | Florian Diebold | 2020-05-22 | 1 | -3/+3 |
| | |||||
* | Split up chalk module a bit | Florian Diebold | 2020-05-22 | 1 | -0/+298 |