Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | make AstId untyped | Aleksey Kladov | 2019-05-13 | 6 | -11/+15 | |
* | | Increase Chalk solver max_size back to 4 | Florian Diebold | 2019-05-13 | 1 | -1/+1 | |
|/ | ||||||
* | simplify | Aleksey Kladov | 2019-05-12 | 4 | -33/+11 | |
* | simplify | Aleksey Kladov | 2019-05-12 | 2 | -8/+7 | |
* | Use traits from prelude for method resolution | Florian Diebold | 2019-05-12 | 3 | -14/+42 | |
* | Blacklist some traits from being considered in where clauses | Florian Diebold | 2019-05-12 | 2 | -7/+34 | |
* | Fix impl blocks with unresolved target trait being treated as inherent impls | Florian Diebold | 2019-05-12 | 1 | -5/+7 | |
* | Add support for inline bounds | Florian Diebold | 2019-05-11 | 2 | -16/+60 | |
* | Handle auto traits & negative impls | Florian Diebold | 2019-05-11 | 4 | -7/+37 | |
* | Reduce Chalk max_size parameter, add test for slow case | Florian Diebold | 2019-05-11 | 3 | -3/+42 | |
* | 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 | |
* | Deduplicate impls in impls_for_trait | Florian Diebold | 2019-05-07 | 1 | -2/+3 | |
* | 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 | |
* | fill struct fields diagnostic | Sergey Parilin | 2019-05-06 | 5 | -11/+133 | |
* | Merge #1208 | bors[bot] | 2019-05-04 | 2 | -5/+42 | |
|\ | ||||||
| * | Added local macro goto | Lenard Pratt | 2019-05-04 | 2 | -5/+42 | |
* | | Differentiate Tuple / FnPtr type constructors by cardinality | Florian Diebold | 2019-05-04 | 4 | -14/+24 | |
* | | 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 | |
* | | 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 | 2 | -2/+2 | |
* | | eagarly clean astd maps | Aleksey Kladov | 2019-05-04 | 2 | -2/+2 | |
|/ | ||||||
* | Use correct FileId when expanding macros in expressions | Aleksey Kladov | 2019-05-01 | 2 | -33/+44 | |
* | Sidestep two-phase borrow violation signaled by mutable_borrow_reservation_co... | Felix S. Klock II | 2019-04-29 | 1 | -2/+3 | |
* | Add more information on macro rules fail to parse | Edwin Cheng | 2019-04-25 | 1 | -2/+8 | |
* | drop empty file | Aleksey Kladov | 2019-04-25 | 1 | -0/+0 | |
* | Introduced resolve_macro_call on resolver | Lenard Pratt | 2019-04-23 | 5 | -55/+112 | |
* | Added macro resolution and expansion | Lenard Pratt | 2019-04-22 | 6 | -93/+135 | |
* | Addeded resolver and db | Lenard Pratt | 2019-04-22 | 1 | -60/+79 | |
* | Merge #1194 | bors[bot] | 2019-04-22 | 2 | -1/+14 | |
|\ | ||||||
| * | unused import | Aleksey Kladov | 2019-04-22 | 1 | -2/+0 | |
| * | move auto-imoprter into IDE | Aleksey Kladov | 2019-04-22 | 4 | -76/+13 | |
| * | complete_import: prevent panic when the anchor is the completion source range | Andrea Pretto | 2019-04-21 | 2 | -9/+1 |