Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Handle divergence in type inference for blocks | Laurențiu Nicola | 2019-10-02 | 1 | -1/+62 |
* | Merge #1815 | bors[bot] | 2019-09-27 | 1 | -0/+33 |
|\ | |||||
| * | Support `$crate` in item and expr place. | uHOOCCOOHu | 2019-09-26 | 1 | -0/+33 |
* | | Add SubstsBuilder | Florian Diebold | 2019-09-26 | 1 | -1/+0 |
|/ | |||||
* | Support all coercion places | uHOOCCOOHu | 2019-09-25 | 1 | -65/+62 |
* | Support custom `CoerceUnsized` | uHOOCCOOHu | 2019-09-25 | 1 | -197/+5 |
* | Better handle never type and branch merging | uHOOCCOOHu | 2019-09-25 | 1 | -121/+40 |
* | Support basic implicit type coerce | uHOOCCOOHu | 2019-09-25 | 1 | -56/+215 |
* | Support auto-deref in argument position | uHOOCCOOHu | 2019-09-25 | 1 | -0/+118 |
* | Resolve trait associated items | Florian Diebold | 2019-09-25 | 1 | -8/+7 |
* | Implement the call argument checking order hack for closures | Florian Diebold | 2019-09-24 | 1 | -0/+80 |
* | Make the closure_1 test work | Florian Diebold | 2019-09-24 | 1 | -27/+27 |
* | Make closures impl closure traits | Florian Diebold | 2019-09-24 | 1 | -27/+28 |
* | Give closures types | Florian Diebold | 2019-09-24 | 1 | -16/+14 |
* | Handle associated type shorthand (`T::Item`) | Florian Diebold | 2019-09-22 | 1 | -8/+56 |
* | account for impls generated by macros | Aleksey Kladov | 2019-09-18 | 1 | -0/+17 |
* | Remove assoc type selection code for now to fix crashes | Florian Diebold | 2019-09-17 | 1 | -6/+6 |
* | Add test for `T::Item` cycles | Florian Diebold | 2019-09-17 | 1 | -0/+42 |
* | Add test for `<T>::Item` | Florian Diebold | 2019-09-17 | 1 | -10/+22 |
* | Resolve assoc types on type parameters | Florian Diebold | 2019-09-17 | 1 | -3/+3 |
* | Adapt some tests | Florian Diebold | 2019-09-17 | 1 | -12/+12 |
* | Support path starting with a type | uHOOCCOOHu | 2019-09-15 | 1 | -0/+58 |
* | Support bare `Trait` without dyn | Florian Diebold | 2019-09-14 | 1 | -10/+10 |
* | Infer box expression | uHOOCCOOHu | 2019-09-11 | 1 | -0/+31 |
* | Fix typo | uHOOCCOOHu | 2019-09-11 | 1 | -1/+1 |
* | Merge #1795 | bors[bot] | 2019-09-09 | 1 | -0/+58 |
|\ | |||||
| * | Make macro scope a real name scope | uHOOCCOOHu | 2019-09-09 | 1 | -0/+58 |
* | | modify tests | Niko Matsakis | 2019-09-09 | 1 | -6/+6 |
|/ | |||||
* | Rename `textual_macro` -> `legacy_macro` | uHOOCCOOHu | 2019-09-08 | 1 | -1/+1 |
* | Resolve textual scoped macros inside item | uHOOCCOOHu | 2019-09-08 | 1 | -0/+35 |
* | Fix crash for super trait cycles | Florian Diebold | 2019-09-07 | 1 | -0/+21 |
* | Fix Chalk environments | Florian Diebold | 2019-09-07 | 1 | -2/+2 |
* | Use traits from where clauses for method resolution | Florian Diebold | 2019-09-07 | 1 | -11/+10 |
* | Lower `Fn(X, Y) -> Z` paths | Florian Diebold | 2019-09-07 | 1 | -8/+8 |
* | Lower bounds on trait definition, and resolve assoc types from super traits | Florian Diebold | 2019-09-07 | 1 | -5/+5 |
* | Add some more tests | Florian Diebold | 2019-09-07 | 1 | -0/+205 |
* | Properly format `impl Trait<Type = Foo>` types | Florian Diebold | 2019-09-03 | 1 | -4/+4 |
* | Add support for associated type bindings (`where Trait<Type = X>`) | Florian Diebold | 2019-09-03 | 1 | -18/+44 |
* | Add test for assoc type bindings | Florian Diebold | 2019-09-03 | 1 | -0/+65 |
* | Correctly build BodySourceMap for macro-expanded expressions | Aleksey Kladov | 2019-09-03 | 1 | -8/+25 |
* | fix hir for new block syntax | Aleksey Kladov | 2019-09-02 | 1 | -1/+1 |
* | :arrow_up: insta | Aleksey Kladov | 2019-08-29 | 1 | -1167/+1265 |
* | Remove redundant tests | Kirill Bulatov | 2019-08-26 | 1 | -63/+5 |
* | Make infer_block not unify; add back calculate_least_upper_bound | Florian Diebold | 2019-08-26 | 1 | -10/+12 |
* | An attempt to add the coercion logic for Never | Kirill Bulatov | 2019-08-26 | 1 | -0/+58 |
* | Properly coerce never types | Kirill Bulatov | 2019-08-26 | 1 | -7/+0 |
* | Remove extra inference test | Kirill Bulatov | 2019-08-26 | 1 | -24/+0 |
* | Fix never in if expressions | Kirill Bulatov | 2019-08-26 | 1 | -1/+41 |
* | Add test marks | Kirill Bulatov | 2019-08-26 | 1 | -1/+6 |
* | Fix match type inference for Never match arms | Kirill Bulatov | 2019-08-26 | 1 | -1/+1 |