aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/traits
Commit message (Expand)AuthorAgeFilesLines
* Lower bounds on trait definition, and resolve assoc types from super traitsFlorian Diebold2019-09-071-1/+1
* Make type walking infrastructure a bit nicerFlorian Diebold2019-09-031-0/+1
* Add support for associated type bindings (`where Trait<Type = X>`)Florian Diebold2019-09-031-0/+7
* Add `impl Trait` and `dyn Trait` typesFlorian Diebold2019-08-221-1/+3
* Handle placeholder assoc types when Chalk produces themFlorian Diebold2019-08-121-3/+18
* Normalize associated types during inferenceFlorian Diebold2019-08-121-3/+4
* Add representations of associated typesFlorian Diebold2019-08-121-0/+23
* Remove blacklist, instead mark `Sized` as non-enumerableFlorian Diebold2019-07-151-17/+3
* Cargo update, including updating ChalkFlorian Diebold2019-07-141-0/+2
* Some renamings for clarityFlorian Diebold2019-07-141-2/+2
* Unify `normalize` and `implements` to simplify codeFlorian Diebold2019-07-081-1/+16
* Use environment for associated type normalization as wellFlorian Diebold2019-07-081-0/+15
* Start handling environment in trait resolutionFlorian Diebold2019-07-081-3/+16
* Refactor a bit & introduce Environment structFlorian Diebold2019-07-081-1/+55
* Make EnumVariant a GenericDef and simplify some codeFlorian Diebold2019-07-061-5/+1
* allow rustfmt to reorder importsAleksey Kladov2019-07-041-7/+12
* cache chalk queriesAleksey Kladov2019-06-261-193/+219
* Some more cleanupFlorian Diebold2019-06-151-4/+4
* Add basic infrastructure for assoc type projectionFlorian Diebold2019-06-151-8/+102
* Fix clippy::single_matchAlan Du2019-06-041-6/+3
* Blacklist some traits from being considered in where clausesFlorian Diebold2019-05-121-1/+28
* Handle auto traits & negative implsFlorian Diebold2019-05-111-5/+19
* Reduce Chalk max_size parameter, add test for slow caseFlorian Diebold2019-05-111-2/+5
* Handle Chalk conversion for FnDefFlorian Diebold2019-05-111-2/+25
* Handle resolution errors in where clausesFlorian Diebold2019-05-111-15/+41
* Handle where clauses in trait solvingFlorian Diebold2019-05-111-13/+55
* Differentiate Tuple / FnPtr type constructors by cardinalityFlorian Diebold2019-05-041-1/+3
* Handle recursive types in canonicalizationFlorian Diebold2019-05-041-1/+1
* Remove ToChalk implementation for ApplicationTyFlorian Diebold2019-05-041-29/+16
* Update ChalkFlorian Diebold2019-05-041-4/+13
* Turn eprintln!s into debug!sFlorian Diebold2019-05-041-6/+9
* Handle Ty::Unknown in Chalk conversionFlorian Diebold2019-05-041-1/+5
* Canonicalize before doing method resolutionFlorian Diebold2019-05-041-6/+7
* Move Chalk conversion code to its own moduleFlorian Diebold2019-05-041-0/+327