aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* | Merge #1262bors[bot]2019-05-1212-56/+416
|\ \ | |/ |/|
| * 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
|/
* Merge #1258bors[bot]2019-05-111-76/+69
|\
| * cargo updateJeremy Kolb2019-05-091-76/+69
* | Merge #1261bors[bot]2019-05-111-8/+17
|\ \ | |/ |/|
| * add manual installation instructionsAleksey Kladov2019-05-111-8/+17
|/
* Merge #1255bors[bot]2019-05-075-22/+28
|\
| * switch to once_cell from lazy_staticAleksey Kladov2019-05-075-22/+28
|/
* 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
* | Merge #1253bors[bot]2019-05-0710-1201/+620
|\ \ | |/ |/|
| * share literal validation logic with compilerAleksey Kladov2019-05-0710-1201/+620
|/
* Merge #1163bors[bot]2019-05-0611-246/+269
|\
| * removed duplicating fill_struct_fields assistSergey Parilin2019-05-062-228/+0
| * fill struct fields diagnosticSergey Parilin2019-05-069-18/+269
|/
* Merge #1247bors[bot]2019-05-051-2/+1
|\
| * Remove collectJeremy Kolb2019-05-051-2/+1
|/
* Merge #1245bors[bot]2019-05-051-0/+2
|\
| * Profile diagnostics.Marco Groppo2019-05-051-0/+2
|/
* Merge #1242bors[bot]2019-05-052-0/+55
|\
| * Fixed missing empty varsEdwin Cheng2019-05-052-0/+55
|/
* Merge #1241bors[bot]2019-05-041-89/+131
|\
| * :arrow_up: depsAleksey Kladov2019-05-041-89/+131
|/
* Merge #1208bors[bot]2019-05-049-6/+97
|\
| * Added local macro gotoLenard Pratt2019-05-049-6/+97
* | Merge #1216bors[bot]2019-05-0417-280/+1027
|\ \
| * | 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-044-34/+39
| * | Turn eprintln!s into debug!sFlorian Diebold2019-05-042-8/+12
| * | Handle Ty::Unknown in Chalk conversionFlorian Diebold2019-05-041-1/+5
| * | Canonicalize before doing method resolutionFlorian Diebold2019-05-047-133/+165
| * | Document the peculiarity of the solver query a bitFlorian Diebold2019-05-042-3/+10