aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/lower.rs
Commit message (Expand)AuthorAgeFilesLines
* Add support for unions in inference and loweringPaul Daniel Faria2020-08-081-1/+4
* Minor perf tweaks per clippyJeremy Kolb2020-07-191-1/+1
* Align CallableDefId naming with other idsAleksey Kladov2020-07-161-15/+15
* Thread varargs through r-aJonas Schievink2020-07-141-5/+8
* Don't copy-paste `impl_froms` into every crateAleksey Kladov2020-07-131-7/+6
*-. Merge #5235 #5236 #5241bors[bot]2020-07-071-2/+1
|\ \
| | * Clippy perf warningskjeremy2020-07-061-2/+1
| |/
* / Switch to fully dynamically dispatched salsaAleksey Kladov2020-07-071-1/+1
|/
* (Partially) fix handling of type params depending on type paramsFlorian Diebold2020-06-291-8/+35
* Shift bound variables correctly when using assoc type shorthandFlorian Diebold2020-06-191-0/+3
* Use correct substs for super trait assoc typesFlorian Diebold2020-06-191-11/+11
* Fix type parameter defaultsFlorian Diebold2020-06-051-24/+46
* Review fixesFlorian Diebold2020-06-051-5/+4
* Implement return position impl trait / opaque type supportFlorian Diebold2020-06-051-21/+122
* Switch to new magic marksAleksey Kladov2020-05-201-1/+1
* Rename to associated_type_shorthand_candidatesJonas Schievink2020-04-291-25/+26
* Complete assoc. items on type parametersJonas Schievink2020-04-291-56/+88
* For associated type shorthand (T::Item), use the substs from the where clauseFlorian Diebold2020-04-261-13/+29
* Rename StructField -> FieldAleksey Kladov2020-04-251-3/+3
* Fix another crash from wrong bindersFlorian Diebold2020-04-171-20/+49
*-. Merge #3964 #3965 #3967bors[bot]2020-04-151-8/+34
|\ \
| | * Handle `Self::Type` in trait definitions when referring to own associated typeFlorian Diebold2020-04-131-2/+12
| |/ |/|
| * Implement inline associated type boundsFlorian Diebold2020-04-131-6/+22
|/
* Upgrade Chalk againFlorian Diebold2020-04-051-13/+15
* Use `dyn Trait` for working with databseAleksey Kladov2020-03-161-112/+108
* Resolve `Self::AssocTy` in implsFlorian Diebold2020-03-061-36/+50
* Rework find_super_trait_path to protect against cyclesFlorian Diebold2020-02-221-1/+2
* Fix wrong handling of bare `dyn Trait` exposed by canonicalizer fixFlorian Diebold2020-02-221-1/+3
* Run cargo +nightly fix --clippy -Z unstable-optionsKirill Bulatov2020-02-181-12/+10
* use 'if let' instead of match on kind in lower.rsadamrk2020-02-171-6/+4
* replace uses of VariantData::is_unit with VariantData::kindadamrk2020-02-161-4/+7
* Make Self implement the trait inside trait default methodsFlorian Diebold2020-02-141-4/+28
* Rename Ty::Param => Ty::PlaceholderFlorian Diebold2020-02-141-4/+4
* Fix some TODOsFlorian Diebold2020-02-071-3/+7
* Deal better with implicit type parameters and argument listsFlorian Diebold2020-02-071-20/+21
* FormattingFlorian Diebold2020-02-071-2/+6
* Fix compilation of other cratesFlorian Diebold2020-02-071-2/+2
* Use variables in predicates as wellFlorian Diebold2020-02-071-32/+41
* Comment fixes / todosFlorian Diebold2020-02-071-6/+5
* Fix APIT some moreFlorian Diebold2020-02-071-3/+2
* Fix APITFlorian Diebold2020-02-071-0/+2
* Change Ty::Param to contain param IDFlorian Diebold2020-02-071-49/+59
* WIP use params for APITFlorian Diebold2020-02-071-0/+10
* Fix assoc type selectionFlorian Diebold2020-02-071-29/+40
* First stab at desugaring bounds for APITFlorian Diebold2020-02-071-3/+26
* Fix crashFlorian Diebold2020-02-071-4/+7
* Fix enum constructorsFlorian Diebold2020-02-071-6/+4
* Lower impl trait to variables, move away from using placeholders where they d...Florian Diebold2020-02-071-122/+141
* wip lower impl trait to type argsFlorian Diebold2020-02-071-0/+1
* wip implement lowering modeFlorian Diebold2020-02-071-6/+26