Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove dead code | Aleksey Kladov | 2020-06-11 | 1 | -8/+1 |
| | |||||
* | Merge #4689 | bors[bot] | 2020-06-05 | 1 | -0/+1 |
|\ | | | | | | | | | | | | | | | | | | | | | 4689: Implement return position impl trait / opaque type support r=matklad a=flodiebold 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. Co-authored-by: Florian Diebold <[email protected]> Co-authored-by: Florian Diebold <[email protected]> | ||||
| * | Review fixes | Florian Diebold | 2020-06-05 | 1 | -0/+1 |
| | | |||||
* | | Measure memory usage of ImportMap | Jonas Schievink | 2020-06-05 | 1 | -0/+1 |
|/ | |||||
* | Cleanup memory usage stats | Aleksey Kladov | 2020-03-25 | 1 | -2/+10 |
| | |||||
* | Consider crate declaration names | Kirill Bulatov | 2020-03-08 | 1 | -5/+1 |
| | |||||
* | Normalize waiting queries names | Aleksey Kladov | 2020-03-06 | 1 | -3/+3 |
| | |||||
* | Don't reuse the Chalk solver | Florian Diebold | 2020-03-06 | 1 | -1/+0 |
| | | | | | This slows down analysis-stats a bit (~5% in my measurement), but improves incremental checking a lot because we can reuse trait solve results. | ||||
* | Run cargo +nightly fix --clippy -Z unstable-options | Kirill Bulatov | 2020-02-18 | 1 | -1/+1 |
| | |||||
* | Docs | Aleksey Kladov | 2020-02-06 | 1 | -1/+2 |
| | |||||
* | Move to a crate | Aleksey Kladov | 2020-02-06 | 1 | -0/+386 |