Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Upgrade Chalk again | Florian Diebold | 2020-04-05 | 1 | -11/+17 |
* | Add inference for literal and range patterns | Florian Diebold | 2020-04-01 | 1 | -2/+9 |
* | Use `dyn Trait` for working with databse | Aleksey Kladov | 2020-03-16 | 5 | -37/+35 |
* | Resolve `Self::AssocTy` in impls | Florian Diebold | 2020-03-06 | 1 | -2/+2 |
*-. | Merge #3397 #3398 | bors[bot] | 2020-03-02 | 1 | -6/+2 |
|\ \ | |||||
| | * | Reformat? | Aleksey Kladov | 2020-03-02 | 1 | -6/+2 |
| |/ | |||||
* | | Merge #3385 | bors[bot] | 2020-03-02 | 1 | -3/+12 |
|\ \ | |/ |/| | |||||
| * | Fix #3373 | Florian Diebold | 2020-03-01 | 1 | -3/+12 |
* | | handle array pattern matching type inference | Josh Mcguigan | 2020-03-01 | 1 | -10/+14 |
* | | remove match statement, handle suffix | Josh Mcguigan | 2020-03-01 | 1 | -12/+9 |
* | | handle arbitrary length slices | Josh Mcguigan | 2020-03-01 | 1 | -3/+5 |
* | | match single prefix slice | Josh Mcguigan | 2020-03-01 | 1 | -1/+15 |
|/ | |||||
* | Do autoderef for indexing | Florian Diebold | 2020-02-29 | 1 | -5/+21 |
* | Fix a common false-positive type mismatch | Florian Diebold | 2020-02-29 | 1 | -4/+4 |
* | Fix handling of binders in canonicalization | Florian Diebold | 2020-02-22 | 1 | -64/+35 |
* | Implement unsize coercion using proper trait solving | Florian Diebold | 2020-02-22 | 1 | -179/+26 |
* | Fix handling of const patterns | Florian Diebold | 2020-02-21 | 1 | -1/+3 |
* | Normalize associated types in types coming from Chalk | Florian Diebold | 2020-02-21 | 1 | -1/+4 |
* | More manual clippy fixes | Kirill Bulatov | 2020-02-18 | 3 | -18/+10 |
* | Run cargo +nightly fix --clippy -Z unstable-options | Kirill Bulatov | 2020-02-18 | 4 | -42/+35 |
* | Fix coercion of &T to itself | Florian Diebold | 2020-02-16 | 1 | -0/+2 |
* | Don't let unknown match arms fall back to ! | Florian Diebold | 2020-02-11 | 1 | -1/+5 |
* | Add or- and parenthesized-patterns | Matthew Jasper | 2020-02-09 | 2 | -3/+13 |
* | Fix some TODOs | Florian Diebold | 2020-02-07 | 1 | -1/+0 |
* | Deal better with implicit type parameters and argument lists | Florian Diebold | 2020-02-07 | 1 | -3/+5 |
* | Formatting | Florian Diebold | 2020-02-07 | 3 | -12/+5 |
* | Clean up RPIT a bit | Florian Diebold | 2020-02-07 | 1 | -1/+0 |
* | Use variables in predicates as well | Florian Diebold | 2020-02-07 | 1 | -2/+2 |
* | Comment fixes / todos | Florian Diebold | 2020-02-07 | 1 | -0/+1 |
* | Change Ty::Param to contain param ID | Florian Diebold | 2020-02-07 | 3 | -15/+13 |
* | Fix another test | Florian Diebold | 2020-02-07 | 1 | -5/+1 |
* | Lower impl trait to variables, move away from using placeholders where they d... | Florian Diebold | 2020-02-07 | 2 | -41/+20 |
* | wip lower impl trait to type args | Florian Diebold | 2020-02-07 | 1 | -2/+2 |
* | Add impl trait lowering mode | Florian Diebold | 2020-02-07 | 1 | -5/+24 |
* | Introduce TyLoweringContext | Florian Diebold | 2020-02-07 | 1 | -14/+11 |
* | Fix inference for shift operators | Florian Diebold | 2020-01-17 | 1 | -2/+2 |
* | Push resolver further up | Aleksey Kladov | 2020-01-14 | 2 | -8/+20 |
* | Coerce closures to fn pointers | Florian Diebold | 2019-12-20 | 1 | -0/+4 |
* | Fix coercion of last expression in function body | Florian Diebold | 2019-12-20 | 1 | -1/+1 |
* | Handle closure return types | Florian Diebold | 2019-12-20 | 1 | -3/+14 |
* | Merge #2592 | bors[bot] | 2019-12-20 | 1 | -4/+8 |
|\ | |||||
| * | Add std::ops::Index support for infering | Edwin Cheng | 2019-12-19 | 1 | -4/+8 |
* | | Introduce `ContainerId` | Aleksey Kladov | 2019-12-20 | 1 | -1/+1 |
* | | Rename ContainerId -> AssocContainerId | Aleksey Kladov | 2019-12-20 | 2 | -6/+6 |
* | | Add body as a possible container for items | Aleksey Kladov | 2019-12-19 | 1 | -1/+1 |
* | | Forbid <T>::foo syntax in mod paths | Aleksey Kladov | 2019-12-18 | 1 | -2/+2 |
|/ | |||||
* | Handle impl Trait more correctly | Florian Diebold | 2019-12-15 | 1 | -0/+1 |
* | Use different types for path with and without generics | Aleksey Kladov | 2019-12-14 | 1 | -12/+13 |
* | Rename N! to name! | Florian Diebold | 2019-12-13 | 1 | -2/+2 |
* | Add macros for known names and paths | Florian Diebold | 2019-12-13 | 1 | -2/+2 |