aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/db.rs
Commit message (Expand)AuthorAgeFilesLines
* Use Chalk closure supportFlorian Diebold2020-07-151-6/+8
* Switch to fully dynamically dispatched salsaAleksey Kladov2020-07-071-1/+0
* Split `CrateImplDefs` in inherent and trait implsJonas Schievink2020-07-011-5/+8
* (Partially) fix handling of type params depending on type paramsFlorian Diebold2020-06-291-2/+2
* Replace `impls_in_trait` with `CrateImplDefs`Jonas Schievink2020-06-191-10/+5
* Implement return position impl trait / opaque type supportFlorian Diebold2020-06-051-4/+16
* Use Chalk's built-in representation of function item typesFlorian Diebold2020-05-221-0/+5
* Use TypeCtorId as AdtId directly, and rename the type alias StructId -> AdtIdFlorian Diebold2020-05-221-1/+1
* Rename StructField -> FieldAleksey Kladov2020-04-251-2/+2
* Update Chalk, and cache Chalk env elaboration through a queryFlorian Diebold2020-04-201-0/+7
* Look up impls by self typeFlorian Diebold2020-04-111-2/+7
* Cleanup memory usage statsAleksey Kladov2020-03-251-0/+1
* Use `dyn Trait` for working with databseAleksey Kladov2020-03-161-2/+2
* Normalize waiting queries namesAleksey Kladov2020-03-061-6/+6
* Don't reuse the Chalk solverFlorian Diebold2020-03-061-8/+0
* Allow specifying additional info on call to profileAleksey Kladov2020-03-061-1/+10
* Less confusing profile namesAleksey Kladov2020-03-061-1/+1
* Rename ast::ImplBlock -> ast::ImplDefAleksey Kladov2020-02-291-3/+3
* FormattingFlorian Diebold2020-02-071-3/+4
* Use variables in predicates as wellFlorian Diebold2020-02-071-2/+2
* Change Ty::Param to contain param IDFlorian Diebold2020-02-071-6/+11
* Lower impl trait to variables, move away from using placeholders where they d...Florian Diebold2020-02-071-6/+6
* Split `infer` query into two for better profilingMichal Terepeta2020-01-031-1/+10
* Update Chalk, clean up Chalk integration a bitFlorian Diebold2019-12-221-25/+10
* Add cycle recovery for type aliasesFlorian Diebold2019-11-301-0/+1
* Add cycle recovery for generic predicatesFlorian Diebold2019-11-301-0/+1
* Handle cycles in impl types betterFlorian Diebold2019-11-301-3/+7
* Memoize impl resolutionsAleksey Kladov2019-11-271-1/+4
* Move TyAleksey Kladov2019-11-271-0/+116