Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Merge #2661 | bors[bot] | 2019-12-24 | 1 | -0/+57 | |
|\ | | | | | | | | | | | | | | | | | | | | | | | 2661: Implement infer await from async function r=flodiebold a=edwin0cheng This PR is my attempt for trying to add support for infer `.await` expression from an `async` function, by desugaring its return type to `Impl Future<Output=RetType>`. Note that I don't know it is supposed to desugaring it in that phase, if it is not suitable in current design, just feel free to reject it :) r=@flodiebold Co-authored-by: Edwin Cheng <[email protected]> | |||||
| * | Implement infer await from async func | Edwin Cheng | 2019-12-24 | 1 | -0/+57 | |
| | | ||||||
* | | Filter out error predicates in type bounds as well | Florian Diebold | 2019-12-22 | 1 | -0/+17 | |
|/ | ||||||
* | Coerce closures to fn pointers | Florian Diebold | 2019-12-20 | 1 | -5/+5 | |
| | | | | E.g. `let x: fn(A) -> B = |x| { y };` | |||||
* | Add std::ops::Index support for infering | Edwin Cheng | 2019-12-19 | 1 | -0/+32 | |
| | ||||||
* | Add test mark | Florian Diebold | 2019-12-15 | 1 | -2/+6 | |
| | ||||||
* | Handle impl Trait more correctly | Florian Diebold | 2019-12-15 | 1 | -0/+31 | |
| | | | | | | | When calling a function, argument-position impl Trait is transparent; same for return-position impl Trait when inside the function. So in these cases, we need to represent that type not by `Ty::Opaque`, but by a type variable that can be unified with whatever flows into there. | |||||
* | Add test for unifying impl Trait | Florian Diebold | 2019-12-15 | 1 | -1/+27 | |
| | ||||||
* | Correctly infer - and ! using std::ops::{Neg,Not} | Emil Lauridsen | 2019-12-13 | 1 | -0/+64 | |
| | ||||||
* | Split up ty tests a bit | Florian Diebold | 2019-12-03 | 1 | -0/+1424 | |