aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/traits/chalk.rs
Commit message (Expand)AuthorAgeFilesLines
* Rename ra_db -> base_dbAleksey Kladov2020-08-131-1/+1
* Rename ra_prof -> profileAleksey Kladov2020-08-121-1/+1
* Bump chalkLaurențiu Nicola2020-07-301-11/+8
* Specify default adt representation for chalk integrationWilco Kusee2020-07-191-1/+1
* Align CallableDefId naming with other idsAleksey Kladov2020-07-161-2/+2
* Rename CallableDefId -> InternedCallabelDefidAleksey Kladov2020-07-161-3/+3
* Remove TypeCtor interningFlorian Diebold2020-07-151-12/+0
* Use Chalk closure supportFlorian Diebold2020-07-151-52/+35
* Search more efficiently for int/float implsFlorian Diebold2020-07-121-12/+34
* Enable Chalk tracing in hir_ty testsFlorian Diebold2020-07-121-6/+3
* Upgrade ChalkFlorian Diebold2020-07-121-4/+32
* Split `CrateImplDefs` in inherent and trait implsJonas Schievink2020-07-011-6/+4
* Bump chalkLaurențiu Nicola2020-06-261-15/+71
* Replace `impls_in_trait` with `CrateImplDefs`Jonas Schievink2020-06-191-8/+20
* Implement return position impl trait / opaque type supportFlorian Diebold2020-06-051-10/+42
* Upgrade ChalkFlorian Diebold2020-05-271-25/+25
* Use Chalk's built-in representation of function item typesFlorian Diebold2020-05-221-4/+35
* Use TypeCtorId as AdtId directly, and rename the type alias StructId -> AdtIdFlorian Diebold2020-05-221-8/+8
* Split up chalk module a bitFlorian Diebold2020-05-221-958/+12
* Provide Chalk well-known traitsFlorian Diebold2020-05-221-6/+33
* Use Chalk's built-in representations of primitive typesFlorian Diebold2020-05-221-10/+160
* Update ChalkFlorian Diebold2020-05-221-45/+74
* Chalk upgradeFlorian Diebold2020-05-161-19/+38
* Update Chalk, and cache Chalk env elaboration through a queryFlorian Diebold2020-04-201-22/+123
* Fix another crash from wrong bindersFlorian Diebold2020-04-171-5/+5
* Switch Chalk to recursive solverFlorian Diebold2020-04-161-4/+4
* Update ChalkFlorian Diebold2020-04-161-2/+3
*-. Merge #3966 #3968bors[bot]2020-04-151-5/+67
|\ \
| * | Add support for bounds on associated types in trait definitionsFlorian Diebold2020-04-131-5/+67
* | | Upgrade ChalkFlorian Diebold2020-04-131-13/+66
|/ /
* / Look up impls by self typeFlorian Diebold2020-04-111-4/+7
|/
* Implement Chalk's debug methods using TLSFlorian Diebold2020-04-101-42/+39
* Fix Chalk panicFlorian Diebold2020-04-061-1/+6
* Upgrade Chalk againFlorian Diebold2020-04-051-12/+18
* Upgrade ChalkFlorian Diebold2020-04-051-24/+99
* Use `dyn Trait` for working with databseAleksey Kladov2020-03-161-57/+54
* Drop larlpop-intern depLaurențiu Nicola2020-03-031-2/+2
* Update chalk for Ty internersLaurențiu Nicola2020-03-021-8/+11
* Update chalk for RawId removalLaurențiu Nicola2020-03-021-13/+7
* Rename ast::ImplBlock -> ast::ImplDefAleksey Kladov2020-02-291-4/+4
* Bump chalk and replace TypeFamily with InternerLaurențiu Nicola2020-02-241-49/+58
* Implement dyn Trait unsizing as wellFlorian Diebold2020-02-221-1/+3
* More manual clippy fixesKirill Bulatov2020-02-181-2/+1
* Run cargo +nightly fix --clippy -Z unstable-optionsKirill Bulatov2020-02-181-5/+5
* Rename Ty::Param => Ty::PlaceholderFlorian Diebold2020-02-141-2/+2
* FormattingFlorian Diebold2020-02-071-3/+8
* Use variables in predicates as wellFlorian Diebold2020-02-071-3/+3
* Change Ty::Param to contain param IDFlorian Diebold2020-02-071-12/+12
* Upgrade ChalkFlorian Diebold2020-01-271-55/+53
* Filter out error predicates in type bounds as wellFlorian Diebold2019-12-221-2/+12
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 03:50:10 +0000