Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Handle Chalk conversion for FnDef | Florian Diebold | 2019-05-11 | 3 | -2/+39 |
* | Handle resolution errors in where clauses | Florian Diebold | 2019-05-11 | 2 | -15/+56 |
* | Handle where clauses in trait solving | Florian Diebold | 2019-05-11 | 6 | -29/+188 |
* | switch to once_cell from lazy_static | Aleksey Kladov | 2019-05-07 | 4 | -20/+17 |
* | Merge #1251 | bors[bot] | 2019-05-07 | 7 | -14/+45 |
|\ | |||||
| * | Deduplicate impls in impls_for_trait | Florian Diebold | 2019-05-07 | 1 | -2/+3 |
| * | Allow targeting a specific function with analysis-stats | Florian Diebold | 2019-05-07 | 2 | -4/+12 |
| * | Add a HirDisplay implementation for TraitRef | Florian Diebold | 2019-05-07 | 1 | -0/+17 |
| * | Turn `implements` into a query again | Florian Diebold | 2019-05-07 | 5 | -8/+13 |
* | | share literal validation logic with compiler | Aleksey Kladov | 2019-05-07 | 10 | -1201/+620 |
|/ | |||||
* | removed duplicating fill_struct_fields assist | Sergey Parilin | 2019-05-06 | 2 | -228/+0 |
* | fill struct fields diagnostic | Sergey Parilin | 2019-05-06 | 9 | -18/+269 |
* | Remove collect | Jeremy Kolb | 2019-05-05 | 1 | -2/+1 |
* | Profile diagnostics. | Marco Groppo | 2019-05-05 | 1 | -0/+2 |
* | Fixed missing empty vars | Edwin Cheng | 2019-05-05 | 2 | -0/+55 |
* | Merge #1208 | bors[bot] | 2019-05-04 | 9 | -6/+97 |
|\ | |||||
| * | Added local macro goto | Lenard Pratt | 2019-05-04 | 9 | -6/+97 |
* | | Merge #1216 | bors[bot] | 2019-05-04 | 16 | -280/+906 |
|\ \ | |||||
| * | | Differentiate Tuple / FnPtr type constructors by cardinality | Florian Diebold | 2019-05-04 | 5 | -15/+25 |
| * | | Simplify subst / subst_bound_vars a bit | Florian Diebold | 2019-05-04 | 1 | -12/+2 |
| * | | Handle recursive types in canonicalization | Florian Diebold | 2019-05-04 | 3 | -5/+15 |
| * | | Remove ToChalk implementation for ApplicationTy | Florian Diebold | 2019-05-04 | 1 | -29/+16 |
| * | | Make canonicalization API a bit nicer | Florian Diebold | 2019-05-04 | 2 | -31/+56 |
| * | | Update Chalk | Florian Diebold | 2019-05-04 | 3 | -11/+16 |
| * | | Turn eprintln!s into debug!s | Florian Diebold | 2019-05-04 | 2 | -8/+12 |
| * | | Handle Ty::Unknown in Chalk conversion | Florian Diebold | 2019-05-04 | 1 | -1/+5 |
| * | | Canonicalize before doing method resolution | Florian Diebold | 2019-05-04 | 7 | -133/+165 |
| * | | Document the peculiarity of the solver query a bit | Florian Diebold | 2019-05-04 | 2 | -3/+10 |
| * | | Move Chalk conversion code to its own module | Florian Diebold | 2019-05-04 | 3 | -321/+339 |
| * | | Implement Deref<Target=[Ty]> for Substs | Florian Diebold | 2019-05-04 | 2 | -18/+18 |
| * | | Simplify solution_from_chalk | Florian Diebold | 2019-05-04 | 1 | -12/+11 |
| * | | Chalk integration | Florian Diebold | 2019-05-04 | 13 | -147/+677 |
| * | | Add Ty::Bound variant for use in Chalk integration | Florian Diebold | 2019-05-04 | 1 | -2/+7 |
* | | | Fix `$true` and `$false` as $var name error | Edwin Cheng | 2019-05-04 | 1 | -3/+24 |
|/ / | |||||
* | | Merge #1238 | bors[bot] | 2019-05-04 | 5 | -69/+64 |
|\ \ | |||||
| * | | make macro expansion into a proper query | Aleksey Kladov | 2019-05-04 | 3 | -35/+28 |
| * | | minor, move | Aleksey Kladov | 2019-05-04 | 1 | -19/+19 |
| * | | introduce macro_arg intermediate query | Aleksey Kladov | 2019-05-04 | 3 | -25/+27 |
| * | | Revert "eagarly clean astd maps" | Aleksey Kladov | 2019-05-04 | 3 | -3/+3 |
* | | | Add test | Edwin Cheng | 2019-05-04 | 1 | -0/+2 |
* | | | Error out when parse_subtree is not a subtree | Edwin Cheng | 2019-05-04 | 1 | -3/+6 |
|/ / | |||||
* | | Merge #1235 | bors[bot] | 2019-05-04 | 1 | -6/+1 |
|\ \ | |||||
| * | | revert eagarly clean astd maps | Aleksey Kladov | 2019-05-04 | 1 | -6/+1 |
* | | | Merge #1230 | bors[bot] | 2019-05-04 | 2 | -3/+95 |
|\ \ \ | |/ / |/| | | |||||
| * | | Quote the quoted comment | Edwin Cheng | 2019-05-04 | 2 | -2/+2 |
| * | | Use explict `escape_default` instead of dbg print | Edwin Cheng | 2019-05-04 | 1 | -1/+1 |
| * | | Convert doc comment to attr | Edwin Cheng | 2019-05-04 | 2 | -3/+95 |
* | | | eagarly clean astd maps | Aleksey Kladov | 2019-05-04 | 4 | -3/+9 |
|/ / | |||||
* | | Mark unused mbe variable as `Binding::Empty` | Edwin Cheng | 2019-05-03 | 2 | -13/+61 |
* | | By pass unbind $var while mbe expanding | Edwin Cheng | 2019-05-03 | 3 | -7/+39 |