aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/traits.rs
Commit message (Expand)AuthorAgeFilesLines
* Update Chalk, and cache Chalk env elaboration through a queryFlorian Diebold2020-04-201-1/+1
* Switch Chalk to recursive solverFlorian Diebold2020-04-161-6/+7
* Add support for bounds on associated types in trait definitionsFlorian Diebold2020-04-131-2/+5
* Look up impls by self typeFlorian Diebold2020-04-111-3/+11
* Implement Chalk's debug methods using TLSFlorian Diebold2020-04-101-2/+11
* Use log info in trait_solve_queryEdwin Cheng2020-04-061-1/+1
* Upgrade Chalk againFlorian Diebold2020-04-051-3/+7
* Upgrade ChalkFlorian Diebold2020-04-051-3/+3
* Use `dyn Trait` for working with databseAleksey Kladov2020-03-161-6/+6
* Use `Index` for CrateGraphAleksey Kladov2020-03-091-1/+1
* Less abstract CrateData apiKirill Bulatov2020-03-091-1/+1
* Don't reuse the Chalk solverFlorian Diebold2020-03-061-84/+28
* Allow specifying additional info on call to profileAleksey Kladov2020-03-061-1/+4
* Rename ast::ImplBlock -> ast::ImplDefAleksey Kladov2020-02-291-3/+3
* Bump chalk and replace TypeFamily with InternerLaurențiu Nicola2020-02-241-7/+7
* Implement dyn Trait unsizing as wellFlorian Diebold2020-02-221-0/+10
* Implement unsize coercion using proper trait solvingFlorian Diebold2020-02-221-0/+2
* More manual clippy fixesKirill Bulatov2020-02-181-6/+3
* Extend analysis-stats a bitFlorian Diebold2020-02-151-0/+3
* Tweak Chalk settingsFlorian Diebold2020-01-271-2/+1
* Upgrade ChalkFlorian Diebold2020-01-271-3/+15
* Don't panic if chalk panicsAleksey Kladov2020-01-131-9/+35
* Introduce our own Chalk TypeFamily, instead of using ChalkIrFlorian Diebold2019-12-221-2/+2
* Refactor Chalk integration some moreFlorian Diebold2019-12-221-7/+7
* Update Chalk, clean up Chalk integration a bitFlorian Diebold2019-12-221-3/+3
* Extract built-in trait implementations to separate moduleFlorian Diebold2019-12-031-0/+1
* Move TyAleksey Kladov2019-11-271-0/+328
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 10:28:53 +0000