aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
* Extract generic_params method to a HasGenericParams traitFlorian Diebold2019-04-147-37/+33
|
* Add Container enum to handle both kinds of container (impl/trait)Florian Diebold2019-04-144-17/+58
|
* Make callable signature handling a bit nicerFlorian Diebold2019-04-142-47/+36
|
* Some cleanupFlorian Diebold2019-04-143-98/+111
|
* More trait infrastructureFlorian Diebold2019-04-1411-51/+333
| | | | | | | | | | - make it possible to get parent trait from method - add 'obligation' machinery for checking that a type implements a trait (and inferring facts about type variables from that) - handle type parameters of traits (to a certain degree) - improve the hacky implements check to cover enough cases to exercise the handling of traits with type parameters - basic canonicalization (will probably also be done by Chalk)
* Get substs for trait refs in impl blocksFlorian Diebold2019-04-146-44/+85
|
* replace usages of `algo::generate` with `iter::successors` from stdRobin Freyler2019-04-136-24/+17
|
* cleanupsAleksey Kladov2019-04-132-13/+12
|
* slight encapsulationAleksey Kladov2019-04-132-9/+13
|
* move ScopeEntryWithSyntaxAleksey Kladov2019-04-134-37/+34
|
* drop obsolete fixmeAleksey Kladov2019-04-132-5/+4
|
* make expr scope stuff privateAleksey Kladov2019-04-131-11/+9
|
* make resolver privateAleksey Kladov2019-04-136-26/+23
|
* hide resolverAleksey Kladov2019-04-134-9/+17
|
* fold ScopeWithSyntax into SourceAnalyzerAleksey Kladov2019-04-137-193/+159
|
* make stuff privateAleksey Kladov2019-04-131-3/+3
|
* obsolete fixmAleksey Kladov2019-04-131-1/+0
|
* make privateAleksey Kladov2019-04-131-1/+1
|
* only def-with-body remainsAleksey Kladov2019-04-131-13/+3
|
* generalizeAleksey Kladov2019-04-131-15/+7
|
* simplifyAleksey Kladov2019-04-131-10/+5
|
* simplifyAleksey Kladov2019-04-131-7/+1
|
* make privateAleksey Kladov2019-04-131-1/+1
|
* hide some scopesAleksey Kladov2019-04-134-23/+28
|
* simplifyAleksey Kladov2019-04-122-17/+12
|
* make stuff privateAleksey Kladov2019-04-121-6/+2
|
* simplifyAleksey Kladov2019-04-121-54/+22
|
* simplify testsAleksey Kladov2019-04-123-36/+23
|
* use really correct resolver for expressionsAleksey Kladov2019-04-129-13/+27
|
* fix typoAleksey Kladov2019-04-113-6/+6
|
* add todoAleksey Kladov2019-04-111-0/+1
|
* use correct resolver for expressionsAleksey Kladov2019-04-111-3/+1
|
* remove resolver from CompletonContextAleksey Kladov2019-04-115-31/+9
|
* simplifyAleksey Kladov2019-04-111-5/+3
|
* generalize SourceAnalyzer to handle all defs with bodiesAleksey Kladov2019-04-113-11/+51
|
* minimize the APIAleksey Kladov2019-04-112-23/+11
|
* renameAleksey Kladov2019-04-1110-18/+18
|
* reduce visibilityAleksey Kladov2019-04-111-3/+3
|
* Make call info to use real name resolutionAleksey Kladov2019-04-114-26/+33
|
* introduce SourceAnalyzerAleksey Kladov2019-04-1115-187/+206
|
* fix typoAleksey Kladov2019-04-111-6/+6
|
* Merge #1131bors[bot]2019-04-1010-180/+136
|\ | | | | | | | | | | | | | | 1131: Use inline snapshots in complete_dot r=matklad a=vipentti Relates to #1127 Co-authored-by: Ville Penttinen <[email protected]>
| * Use inline snapshots in complete_dotVille Penttinen2019-04-1010-180/+136
| |
* | Use inline snapshots in complete_fn_paramVille Penttinen2019-04-104-72/+58
|/
* type-safer source-map for bindingsAleksey Kladov2019-04-107-30/+45
|
* use either for usesAleksey Kladov2019-04-106-44/+40
|
* Merge #1126bors[bot]2019-04-0910-219/+110
|\ | | | | | | | | | | | | | | 1126: Swithc to native salsa interning r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * drop old interning infraAleksey Kladov2019-04-092-108/+1
| |
| * migrate to salsas interningAleksey Kladov2019-04-098-111/+109
| |
* | Merge #1122bors[bot]2019-04-092-0/+95
|\ \ | |/ |/| | | | | | | | | | | | | | | | | 1122: Add explicit type assist. r=matklad a=marcogroppo This assist can be used to specify the explicit type in let statements. For example `let num = 1;` becomes `let num: i32 = 1;`. The assist is applicable only if the inferred type is fully known. Co-authored-by: Marco Groppo <[email protected]>