aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Expand)AuthorAgeFilesLines
* Assert that DB is unwind-safe, instead of provingAleksey Kladov2019-05-181-3/+4
* :arrow_up: text_unitAleksey Kladov2019-05-152-40/+27
* apply T! macro where it is possibleSergey Parilin2019-05-1538-623/+619
* fixed macro for bracketsSergey Parilin2019-05-152-3/+3
* show current function in analysis-stats progress barAleksey Kladov2019-05-142-3/+8
* allow expanding expressionsAleksey Kladov2019-05-142-7/+8
* expand to syntax nodeAleksey Kladov2019-05-146-26/+33
* store macro kind in HirFileIdAleksey Kladov2019-05-144-21/+38
* Merge #1272bors[bot]2019-05-141-0/+46
|\
| * Error out non single root token tree conversionEdwin Cheng2019-05-141-0/+46
* | Merge #1271bors[bot]2019-05-1311-24/+29
|\ \
| * | make AstId untypedAleksey Kladov2019-05-1311-24/+29
* | | Increase Chalk solver max_size back to 4Florian Diebold2019-05-131-1/+1
|/ /
* | Merge #1257bors[bot]2019-05-136-1/+114
|\ \ | |/ |/|
| * Implemented T! macro for syntax kindsSergey Parilin2019-05-136-1/+114
* | simplifyAleksey Kladov2019-05-125-34/+12
* | simplifyAleksey Kladov2019-05-122-8/+7
* | Use traits from prelude for method resolutionFlorian Diebold2019-05-123-14/+42
* | Blacklist some traits from being considered in where clausesFlorian Diebold2019-05-122-7/+34
* | Fix impl blocks with unresolved target trait being treated as inherent implsFlorian Diebold2019-05-121-5/+7
* | Merge #1265bors[bot]2019-05-122-34/+7
|\ \
| * | drop obsolete render test subcommandAleksey Kladov2019-05-121-30/+1
| * | allow to specify path in analysis-statsAleksey Kladov2019-05-122-4/+6
* | | Add support for inline boundsFlorian Diebold2019-05-112-16/+60
* | | Handle auto traits & negative implsFlorian Diebold2019-05-115-7/+47
* | | Reduce Chalk max_size parameter, add test for slow caseFlorian Diebold2019-05-113-3/+42
* | | Handle Chalk conversion for FnDefFlorian Diebold2019-05-113-2/+39
* | | Handle resolution errors in where clausesFlorian Diebold2019-05-112-15/+56
* | | Handle where clauses in trait solvingFlorian Diebold2019-05-116-29/+188
|/ /
* | switch to once_cell from lazy_staticAleksey Kladov2019-05-074-20/+17
* | Merge #1251bors[bot]2019-05-077-14/+45
|\ \
| * | Deduplicate impls in impls_for_traitFlorian Diebold2019-05-071-2/+3
| * | Allow targeting a specific function with analysis-statsFlorian Diebold2019-05-072-4/+12
| * | Add a HirDisplay implementation for TraitRefFlorian Diebold2019-05-071-0/+17
| * | Turn `implements` into a query againFlorian Diebold2019-05-075-8/+13
| |/
* / share literal validation logic with compilerAleksey Kladov2019-05-0710-1201/+620
|/
* removed duplicating fill_struct_fields assistSergey Parilin2019-05-062-228/+0
* fill struct fields diagnosticSergey Parilin2019-05-069-18/+269
* Remove collectJeremy Kolb2019-05-051-2/+1
* Profile diagnostics.Marco Groppo2019-05-051-0/+2
* Fixed missing empty varsEdwin Cheng2019-05-052-0/+55
* Merge #1208bors[bot]2019-05-049-6/+97
|\
| * Added local macro gotoLenard Pratt2019-05-049-6/+97
* | Merge #1216bors[bot]2019-05-0416-280/+906
|\ \
| * | Differentiate Tuple / FnPtr type constructors by cardinalityFlorian Diebold2019-05-045-15/+25
| * | Simplify subst / subst_bound_vars a bitFlorian Diebold2019-05-041-12/+2
| * | Handle recursive types in canonicalizationFlorian Diebold2019-05-043-5/+15
| * | Remove ToChalk implementation for ApplicationTyFlorian Diebold2019-05-041-29/+16
| * | Make canonicalization API a bit nicerFlorian Diebold2019-05-042-31/+56
| * | Update ChalkFlorian Diebold2019-05-043-11/+16