Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename ra_hir_ty -> hir_ty | Aleksey Kladov | 2020-08-13 | 9 | -9980/+0 |
* | Rename ra_hir_def -> hir_def | Aleksey Kladov | 2020-08-13 | 1 | -2/+2 |
* | Rename ra_syntax -> syntax | Aleksey Kladov | 2020-08-12 | 1 | -1/+1 |
* | Add support for unions in inference and lowering | Paul Daniel Faria | 2020-08-08 | 1 | -2/+2 |
* | Add additional checks for union inference tests | Paul Daniel Faria | 2020-08-08 | 1 | -5/+33 |
* | Support `Trait as _` imports | Jonas Schievink | 2020-07-21 | 1 | -0/+22 |
* | Replace remaining insta uses | Laurențiu Nicola | 2020-07-21 | 6 | -5365/+5366 |
* | Inline lang items in coercion tests | Laurențiu Nicola | 2020-07-20 | 1 | -12/+64 |
* | Use expect in never_type tests | Laurențiu Nicola | 2020-07-20 | 2 | -186/+158 |
* | Use expect in coercion tests | Laurențiu Nicola | 2020-07-20 | 1 | -674/+684 |
* | Merge #5331 | bors[bot] | 2020-07-12 | 1 | -0/+57 |
|\ | |||||
| * | Fix #4966 | Florian Diebold | 2020-07-12 | 1 | -0/+57 |
* | | Remove some unnecessary file names | Florian Diebold | 2020-07-12 | 1 | -3/+0 |
* | | Add test for #4281 | Florian Diebold | 2020-07-12 | 1 | -0/+23 |
* | | Search more efficiently for int/float impls | Florian Diebold | 2020-07-12 | 1 | -1/+18 |
* | | Adapt trait object coercion tests to the status quo | Florian Diebold | 2020-07-12 | 1 | -4/+51 |
* | | Enable Chalk tracing in hir_ty tests | Florian Diebold | 2020-07-12 | 1 | -59/+34 |
|/ | |||||
* | infer: Add type inference support for Union types | Otavio Salvador | 2020-07-11 | 1 | -0/+23 |
* | Fix inference of indexing argument (partly) | Florian Diebold | 2020-07-03 | 1 | -0/+36 |
* | Implement Chalk variable kinds | Florian Diebold | 2020-07-01 | 1 | -0/+18 |
* | Update the rest of the tests | Aleksey Kladov | 2020-06-29 | 6 | -413/+276 |
* | (T): make typification tests more data driven | Aleksey Kladov | 2020-06-29 | 2 | -133/+74 |
* | (Partially) fix handling of type params depending on type params | Florian Diebold | 2020-06-29 | 1 | -0/+45 |
* | Track unsafe blocks, don't trigger missing unsafe diagnostic when unsafe expr... | Paul Daniel Faria | 2020-06-27 | 1 | -0/+1 |
* | Merge #4982 | bors[bot] | 2020-06-27 | 2 | -23/+27 |
|\ | |||||
| * | Bump chalk | Laurențiu Nicola | 2020-06-26 | 2 | -23/+27 |
* | | Merge #5033 | bors[bot] | 2020-06-27 | 1 | -0/+46 |
|\ \ | |/ |/| | |||||
| * | Split glob import map to per-ns, switch ExprCollector to use a simpler push_res | Paul Daniel Faria | 2020-06-26 | 1 | -0/+46 |
* | | Infer type for slice wildcard patterns | adamrk | 2020-06-25 | 2 | -0/+27 |
|/ | |||||
* | Fix string literal inference in match | Laurențiu Nicola | 2020-06-24 | 1 | -0/+57 |
* | Use only one code-path for parsing fixtures | Aleksey Kladov | 2020-06-23 | 8 | -2692/+2692 |
* | Remove RelativePathBuf from fixture | Aleksey Kladov | 2020-06-22 | 1 | -1/+1 |
* | Merge #4958 | bors[bot] | 2020-06-20 | 1 | -0/+223 |
|\ | |||||
| * | Push obligation instead of matching on solution | adamrk | 2020-06-20 | 1 | -4/+4 |
| * | Add test for dyn Fn Output | adamrk | 2020-06-20 | 1 | -0/+68 |
| * | move tests to ra_hir_ty | adamrk | 2020-06-20 | 1 | -0/+155 |
* | | Shift bound variables correctly when using assoc type shorthand | Florian Diebold | 2020-06-19 | 1 | -0/+91 |
* | | Use correct substs for super trait assoc types | Florian Diebold | 2020-06-19 | 1 | -0/+28 |
|/ | |||||
* | Fix substs in resolve_value_path for ImplSelf | Vincent Rouillé | 2020-06-19 | 1 | -0/+32 |
* | Make known paths use `core` instead of `std` | Jonas Schievink | 2020-06-11 | 2 | -16/+18 |
* | Fix type parameter defaults | Florian Diebold | 2020-06-05 | 4 | -83/+137 |
* | Review fixes | Florian Diebold | 2020-06-05 | 1 | -15/+58 |
* | Implement return position impl trait / opaque type support | Florian Diebold | 2020-06-05 | 1 | -1/+46 |
* | correctly infer labelled breaks | robojumper | 2020-05-31 | 1 | -10/+10 |
* | labelled break test | robojumper | 2020-05-31 | 1 | -0/+54 |
* | Merge #4653 | bors[bot] | 2020-05-30 | 1 | -0/+50 |
|\ | |||||
| * | Fix match ergonomics in closure parameters | Florian Diebold | 2020-05-29 | 1 | -0/+50 |
* | | Merge #4651 | bors[bot] | 2020-05-29 | 1 | -1/+1 |
|\ \ | |||||
| * | | Use first match branch in case of type mismatch, not last | Florian Diebold | 2020-05-29 | 1 | -1/+1 |
* | | | Merge #4652 | bors[bot] | 2020-05-29 | 1 | -5/+49 |
|\ \ \ | |_|/ |/| | |