aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty
Commit message (Expand)AuthorAgeFilesLines
* Merge #8136 #8146bors[bot]2021-03-229-106/+200
|\
| * Use QuantifiedWhereClause in generic_predicates as wellFlorian Diebold2021-03-217-31/+26
| * Introduce QuantifiedWhereClause and DynTy analogous to ChalkFlorian Diebold2021-03-216-98/+197
* | Merge #8137bors[bot]2021-03-213-9/+51
|\ \
| * | Fix box pattern inference panicLukas Wirth2021-03-213-9/+51
* | | Merge #8134bors[bot]2021-03-211-0/+23
|\ \ \ | |_|/ |/| |
| * | use the included file as the source of expanded include macroYilin Chen2021-03-211-0/+23
* | | Merge #8133bors[bot]2021-03-216-15/+169
|\ \ \ | |_|/ |/| |
| * | Ignore type bindings in generic_predicates_for_paramFlorian Diebold2021-03-215-18/+48
| * | Test for a Salsa bugFlorian Diebold2021-03-213-0/+124
| |/
* | clippy::complexity simplifications related to IteratorsMatthias Krüger2021-03-211-1/+1
* | remove more redundant clones (clippy::redundant_clone())Matthias Krüger2021-03-211-2/+1
|/
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-2013-86/+124
* Remove WhereClause::ErrorFlorian Diebold2021-03-207-42/+8
* Rename GenericPredicate -> WhereClauseFlorian Diebold2021-03-209-99/+83
* Replace Projection variant in GenericPredicate with AliasEqLukas Wirth2021-03-199-120/+210
* Chalkify TraitRefFlorian Diebold2021-03-1814-68/+94
* Fix infinite recursion when computing diagnostics for inner itemsJonas Schievink2021-03-181-1/+14
* Merge #8082bors[bot]2021-03-181-0/+22
|\
| * Handle inner recursive macro rules casesEdwin Cheng2021-03-181-0/+22
* | Support `#[cfg]` on all associated itemsJonas Schievink2021-03-181-0/+19
* | Add test for self-calling inner functionJonas Schievink2021-03-171-0/+21
* | Improve testJonas Schievink2021-03-171-0/+21
* | Add test for `#[cfg]` on function paramsJonas Schievink2021-03-171-0/+13
* | Handle `#[cfg]` on call argumentsJonas Schievink2021-03-171-0/+23
|/
* avoid converting types into themselves via .into() (clippy::useless-conversion)Matthias Krüger2021-03-174-20/+20
* Rename Substs -> SubstitutionFlorian Diebold2021-03-1614-143/+155
*-. Merge #7900 #8000bors[bot]2021-03-164-13/+200
|\ \
| | * Use hir formatter moreoxalica2021-03-151-1/+1
| | * Impl HirDisplay for function hover messageoxalica2021-03-151-8/+195
| | * Introduce FunctionQualifier for hir::FunctionDataoxalica2021-03-152-4/+4
* | | Fix macro expansion for statements w/o semicolonEdwin Cheng2021-03-161-0/+16
* | | Use SmallVec for SubstsFlorian Diebold2021-03-153-14/+29
* | | Fix unification logicFlorian Diebold2021-03-152-101/+117
| |/ |/|
* | Merge #8029bors[bot]2021-03-151-2/+2
|\ \
| * | Enable thread-local coverage marksLaurențiu Nicola2021-03-151-2/+2
* | | Merge #8020bors[bot]2021-03-151-1/+9
|\ \ \ | |/ / |/| |
| * | Speedup trait impl search for goto_implementationLukas Wirth2021-03-151-1/+9
* | | Merge #8018bors[bot]2021-03-1510-137/+126
|\ \ \
| * | | Don't use Substs for Ref/Raw/Array/SliceFlorian Diebold2021-03-149-111/+74
| * | | Make Ty wrap TyKind in an ArcFlorian Diebold2021-03-148-27/+53
| |/ /
* / / Simplify source maps for fieldsAleksey Kladov2021-03-152-6/+5
|/ /
* | More renamingFlorian Diebold2021-03-144-18/+22
* | Use chalk_ir::FnSigFlorian Diebold2021-03-145-21/+22
* | Rename some fields to their Chalk namesFlorian Diebold2021-03-1410-45/+45
* | Move type lowering methods to TyLoweringContextFlorian Diebold2021-03-134-286/+246
* | Create TraitEnvironment through a queryFlorian Diebold2021-03-134-45/+59
* | Use chalk_ir::OpaqueTyIdFlorian Diebold2021-03-137-63/+53
* | Use chalk_ir::PlaceholderIndexFlorian Diebold2021-03-137-43/+52
* | Use chalk_ir::ClosureIdFlorian Diebold2021-03-135-23/+17