aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src
Commit message (Collapse)AuthorAgeFilesLines
* fix hir for new block syntaxAleksey Kladov2019-09-026-42/+50
|
* remove useless traitAleksey Kladov2019-09-021-2/+2
|
* Add an expr_source method analogous to the source methods in the code modelFlorian Diebold2019-09-026-30/+79
| | | | ... and use that instead of exposing the source map.
* Report type mismatches in analysis-statsFlorian Diebold2019-09-022-7/+7
| | | | Only the number usually; each one individually when running with -v.
* :arrow_up: instaAleksey Kladov2019-08-297-1221/+1319
|
* Small fixesKirill Bulatov2019-08-262-13/+15
|
* Remove redundant testsKirill Bulatov2019-08-261-63/+5
|
* Fix 'missing Ok in tail expr' validationFlorian Diebold2019-08-261-3/+4
| | | | | Because of the coercion change, the type mismatch now only happens on the block expression.
* Make infer_block not unify; add back calculate_least_upper_boundFlorian Diebold2019-08-262-30/+66
|
* An attempt to add the coercion logic for NeverKirill Bulatov2019-08-262-51/+98
|
* Properly coerce never typesKirill Bulatov2019-08-263-57/+46
|
* Remove extra inference testKirill Bulatov2019-08-263-26/+0
|
* Fix never in if expressionsKirill Bulatov2019-08-263-4/+53
|
* Add test marksKirill Bulatov2019-08-263-1/+16
|
* Fix match type inference for Never match armsKirill Bulatov2019-08-262-6/+32
|
* TestsKirill Bulatov2019-08-261-0/+104
|
* Merge #1734bors[bot]2019-08-254-4/+98
|\ | | | | | | | | | | | | | | 1734: Strip indents and empty lines in check_apply_diagnostic_fix_from_position r=matklad a=matklad Co-authored-by: Phil Ellison <[email protected]>
| * Simplify checking return type, add new testPhil Ellison2019-08-251-21/+4
| |
| * Fix build for Diagnostic type changePhil Ellison2019-08-251-7/+4
| |
| * Cast SyntaxNodePtr to AstPtr directlyPhil Ellison2019-08-251-14/+3
| |
| * Remove reliance on expr orderingPhil Ellison2019-08-251-10/+4
| |
| * cargo formatPhil Ellison2019-08-251-13/+12
| |
| * Check type rather than just name in ok-wrapping diagnostic. Add test for ↵Phil Ellison2019-08-252-8/+40
| | | | | | | | handling generic functions (which currently fails)
| * Mock std String and Result types in tests for ok-wrapping diagnosticPhil Ellison2019-08-251-2/+0
| |
| * Add type_mismatches to InferenceResult and use this in ok-wrapping code fixPhil Ellison2019-08-253-8/+27
| |
| * Initial implementation of Ok-wrappingPhil Ellison2019-08-253-3/+86
| |
* | Convert `BoxPat` to `Missing` in HIRDylan MacKenzie2019-08-241-0/+1
|/
* rename struct -> record, pos -> tupleAleksey Kladov2019-08-236-45/+45
|
* Improve/fix type bound loweringFlorian Diebold2019-08-222-4/+35
|
* Handle impl/dyn Trait in method resolutionFlorian Diebold2019-08-223-32/+79
| | | | | | | | | | | | | When we have one of these, the `Trait` doesn't need to be in scope to call its methods. So we need to consider this when looking for method candidates. (Actually I think the same is true when we have a bound `T: some::Trait`, but we don't handle that yet). At the same time, since Chalk doesn't handle these types yet, add a small hack to skip Chalk in method resolution and just consider `impl Trait: Trait` always true. This is enough to e.g. get completions for `impl Trait`, but since we don't do any unification we won't infer the return type of e.g. `impl Into<i64>::into()`.
* Add `impl Trait` and `dyn Trait` typesFlorian Diebold2019-08-226-41/+339
| | | | | | | - refactor bounds handling in the AST a bit - add HIR for bounds - add `Ty::Dyn` and `Ty::Opaque` variants and lower `dyn Trait` / `impl Trait` syntax to them
* Don't add `?` bounds as real boundsAleksey Kladov2019-08-222-0/+37
| | | | closes #1709
* remove ast::*Kind from hirAleksey Kladov2019-08-196-83/+86
|
* implement initial type inference for index expressionsAleksey Kladov2019-08-173-1/+33
|
* normalize ordering opsAleksey Kladov2019-08-172-26/+36
|
* Introduce separate hir::BinaryOpAleksey Kladov2019-08-173-69/+96
| | | | | Unlike ast::BinOp, it has significantly more structure to it, so it's easier to, say, handle all assignment-like operations in the same way.
* Merge #1691bors[bot]2019-08-161-0/+9
|\ | | | | | | | | | | | | | | 1691: Show inherent and trait impls of structs and enums r=viorina a=viorina Co-authored-by: Ekaterina Babshukova <[email protected]>
| * show inherent and trait impls of structs and enumsEkaterina Babshukova2019-08-161-0/+9
| |
* | implement durabilityAleksey Kladov2019-08-152-1/+3
| |
* | switch from volatile to untracked readAleksey Kladov2019-08-152-22/+41
|/
* Handle placeholder assoc types when Chalk produces themFlorian Diebold2019-08-122-3/+67
|
* Normalize assoc types in more placesFlorian Diebold2019-08-122-12/+27
|
* Improve debug logging a bitFlorian Diebold2019-08-122-4/+18
|
* Normalize associated types during inferenceFlorian Diebold2019-08-123-9/+25
|
* Lower fully qualified associated type pathsFlorian Diebold2019-08-123-23/+117
| | | | I.e. `<T as Trait>::Foo`.
* Add representations of associated typesFlorian Diebold2019-08-123-0/+113
| | | | | | | | | | | | This adds three different representations, copied from the Chalk model: - `Ty::Projection` is an associated type projection written somewhere in the code, like `<Foo as Trait>::Bar`. - `Ty::UnselectedProjection` is similar, but we don't know the trait yet (`Foo::Bar`). - The above representations are normalized to their actual types during type inference. When that isn't possible, for example for `T::Item` inside an `fn foo<T: Iterator>`, the type is normalized to an application type with `TypeCtor::AssociatedType`.
* Add another test for assoc type resolutionFlorian Diebold2019-08-121-6/+46
|
* Use Source in Diagnostic and implementEvgenii P2019-08-121-23/+15
|
* implement while let desugaringAleksey Kladov2019-08-073-14/+47
|
* refactor if-let loweringAleksey Kladov2019-08-071-19/+25
| | | | mainly to get rid of unwraps