aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/traits.rs
Commit message (Expand)AuthorAgeFilesLines
* correctly reset chalk state after a panicAleksey Kladov2019-09-281-6/+9
* replace horrible hack with a slightly less horrible oneAleksey Kladov2019-09-271-0/+3
* Make the closure_1 test workFlorian Diebold2019-09-241-0/+8
* Make closures impl closure traitsFlorian Diebold2019-09-241-1/+35
* Use traits from where clauses for method resolutionFlorian Diebold2019-09-071-0/+15
* Make type walking infrastructure a bit nicerFlorian Diebold2019-09-031-16/+4
* Add support for associated type bindings (`where Trait<Type = X>`)Florian Diebold2019-09-031-0/+27
* implement durabilityAleksey Kladov2019-08-151-1/+1
* switch from volatile to untracked readAleksey Kladov2019-08-151-17/+37
* Improve debug logging a bitFlorian Diebold2019-08-121-4/+4
* Switch to Chalk master, without fuelFlorian Diebold2019-07-151-1/+1
* Some renamings for clarityFlorian Diebold2019-07-141-7/+7
* fix profile nameAleksey Kladov2019-07-091-1/+1
* Unify `normalize` and `implements` to simplify codeFlorian Diebold2019-07-081-17/+4
* Use environment for associated type normalization as wellFlorian Diebold2019-07-081-13/+2
* Start handling environment in trait resolutionFlorian Diebold2019-07-081-3/+5
* Refactor a bit & introduce Environment structFlorian Diebold2019-07-081-8/+23
* add projection to infer for loop variableUnreal Hoang2019-07-071-1/+1
* Add trait obligations for where clauses when calling functions/methodsFlorian Diebold2019-07-061-1/+10
* Clippy trivially_copy_pass_by_refJeremy Kolb2019-07-051-1/+1
* allow rustfmt to reorder importsAleksey Kladov2019-07-041-6/+6
* cache chalk queriesAleksey Kladov2019-06-261-1/+1
* Simplifications / cleanup from reviewFlorian Diebold2019-06-161-1/+1
* Implement autoderef using the Deref traitFlorian Diebold2019-06-151-2/+2
* Add basic infrastructure for assoc type projectionFlorian Diebold2019-06-151-1/+32
* check for cancellation when executing queriesAleksey Kladov2019-06-121-1/+0
* don't poison mutex around chalkAleksey Kladov2019-06-011-2/+3
* add cacellation checks to expensive queriesAleksey Kladov2019-05-291-0/+1
* Use fuel branch for ChalkFlorian Diebold2019-05-211-1/+1
* re-enable chalkAleksey Kladov2019-05-211-17/+16
* publish gen_lsp_server 0.2Aleksey Kladov2019-05-211-16/+17
* profile implements queryAleksey Kladov2019-05-211-0/+2
* add _query to query functionsAleksey Kladov2019-05-211-3/+3
* Increase Chalk solver max_size back to 4Florian Diebold2019-05-131-1/+1
* Reduce Chalk max_size parameter, add test for slow caseFlorian Diebold2019-05-111-1/+8
* Deduplicate impls in impls_for_traitFlorian Diebold2019-05-071-2/+3
* Turn `implements` into a query againFlorian Diebold2019-05-071-3/+3
* Turn eprintln!s into debug!sFlorian Diebold2019-05-041-2/+3
* Canonicalize before doing method resolutionFlorian Diebold2019-05-041-5/+2
* Document the peculiarity of the solver query a bitFlorian Diebold2019-05-041-2/+4
* Move Chalk conversion code to its own moduleFlorian Diebold2019-05-041-275/+8
* Simplify solution_from_chalkFlorian Diebold2019-05-041-12/+11
* Chalk integrationFlorian Diebold2019-05-041-90/+403
* Add HIR for where clauses & ignore impls with where clauses in trait resolutionFlorian Diebold2019-04-211-3/+6
* More trait infrastructureFlorian Diebold2019-04-141-0/+112