aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/traits
Commit message (Expand)AuthorAgeFilesLines
* Merge #4947bors[bot]2020-06-201-8/+20
|\
| * Replace `impls_in_trait` with `CrateImplDefs`Jonas Schievink2020-06-191-8/+20
* | Make get_fn_trait a method of FnTraitadamrk2020-06-201-17/+7
* | Infer FnSig from Fn traitsadamrk2020-06-191-1/+5
|/
* Clean up handling of int/float literal typesFlorian Diebold2020-06-061-13/+11
* Merge #4761bors[bot]2020-06-051-0/+5
|\
| * Upgrade Chalk to published versionFlorian Diebold2020-06-051-0/+5
* | Implement return position impl trait / opaque type supportFlorian Diebold2020-06-054-15/+89
|/
* Upgrade ChalkFlorian Diebold2020-05-273-52/+52
* Fix some clippy perf warningsJeremy Kolb2020-05-251-2/+1
* Use Chalk's Ty::Function for function pointer typesFlorian Diebold2020-05-221-8/+19
* Use Chalk's built-in representation of function item typesFlorian Diebold2020-05-224-10/+75
* Provide missing Chalk debug methodsFlorian Diebold2020-05-222-0/+112
* Use TypeCtorId as AdtId directly, and rename the type alias StructId -> AdtIdFlorian Diebold2020-05-223-12/+12
* Split up chalk module a bitFlorian Diebold2020-05-223-958/+982
* 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-222-49/+78
* Chalk upgradeFlorian Diebold2020-05-161-19/+38
* Update Chalk, and cache Chalk env elaboration through a queryFlorian Diebold2020-04-202-25/+153
* 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
| | |
| \ \
*-. | | Merge #3964 #3965 #3967bors[bot]2020-04-151-10/+32
|\ \| |
| * | | Nicer display of projections in Chalk logsFlorian Diebold2020-04-131-8/+10
| * | | Nicer display of closures in Chalk logsFlorian Diebold2020-04-131-2/+22
| |/ /
* / / 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-102-42/+270
* Fix Chalk panicFlorian Diebold2020-04-061-1/+6
* Upgrade Chalk againFlorian Diebold2020-04-052-30/+53
* Upgrade ChalkFlorian Diebold2020-04-051-24/+99
* Use `dyn Trait` for working with databseAleksey Kladov2020-03-162-77/+70
* 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-292-5/+5
* Bump chalk and replace TypeFamily with InternerLaurențiu Nicola2020-02-241-49/+58
* Shorten some codeFlorian Diebold2020-02-221-4/+1
* Rework find_super_trait_path to protect against cyclesFlorian Diebold2020-02-221-4/+2
* Add &dyn Trait -> &dyn SuperTrait coercion, and fix &T -> &dyn TraitFlorian Diebold2020-02-221-30/+65
* Implement dyn Trait unsizing as wellFlorian Diebold2020-02-222-8/+108
* Implement unsize coercion using proper trait solvingFlorian Diebold2020-02-221-1/+60
* More manual clippy fixesKirill Bulatov2020-02-182-4/+3
* Run cargo +nightly fix --clippy -Z unstable-optionsKirill Bulatov2020-02-182-8/+8
* 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