aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/infer.rs
Commit message (Expand)AuthorAgeFilesLines
* Implement return position impl trait / opaque type supportFlorian Diebold2020-06-051-21/+2
* correctly infer labelled breaksrobojumper2020-05-311-0/+11
* Infer return type of loops with value breaks.Roland Ruckerbauer2020-05-181-0/+1
* Handle `Self` in values and patternsFlorian Diebold2020-05-151-13/+66
* Highlight mutable statics as mutableMatthew Jasper2020-05-101-2/+6
* Add diagnostic for break outside of loopFlorian Diebold2020-05-081-1/+12
* Handle break somewhat betterFlorian Diebold2020-05-081-0/+7
* Implement better handling of divergenceFlorian Diebold2020-05-081-0/+40
* Fix panic in NoSuchField diagnosticAleksey Kladov2020-04-251-3/+2
* Rename StructField -> FieldAleksey Kladov2020-04-251-8/+8
* Fix goto definition for record patternsAleksey Kladov2020-04-181-0/+4
* Simplify Diagnostic structureAleksey Kladov2020-04-171-8/+1
* Don't expose impl details of SyntaxPtrAleksey Kladov2020-04-171-2/+9
* Use `dyn Trait` for working with databseAleksey Kladov2020-03-161-19/+19
* Normalize waiting queries namesAleksey Kladov2020-03-061-2/+2
* Less confusing profile namesAleksey Kladov2020-03-061-1/+1
* Support aliases and Self in struct literalsFlorian Diebold2020-03-061-1/+27
* Do autoderef for indexingFlorian Diebold2020-02-291-2/+6
* Fix a common false-positive type mismatchFlorian Diebold2020-02-291-5/+36
* Implement unsize coercion using proper trait solvingFlorian Diebold2020-02-221-7/+0
* Run cargo +nightly fix --clippy -Z unstable-optionsKirill Bulatov2020-02-181-6/+5
* FormattingFlorian Diebold2020-02-071-3/+6
* Clean up RPIT a bitFlorian Diebold2020-02-071-26/+2
* Fix APIT some moreFlorian Diebold2020-02-071-2/+5
* WIP use params for APITFlorian Diebold2020-02-071-1/+1
* Lower impl trait to variables, move away from using placeholders where they d...Florian Diebold2020-02-071-13/+5
* Add impl trait lowering modeFlorian Diebold2020-02-071-8/+25
* Introduce TyLoweringContextFlorian Diebold2020-02-071-9/+8
* Split `infer` query into two for better profilingMichal Terepeta2020-01-031-2/+2
* Resolve traits in infer using lang item infrastructureEmil Lauridsen2019-12-291-10/+13
* Check if parameters is emptyEdwin Cheng2019-12-241-4/+6
* Add FIXMEEdwin Cheng2019-12-241-1/+5
* Implement infer await from async funcEdwin Cheng2019-12-241-2/+15
* Fix coercion of last expression in function bodyFlorian Diebold2019-12-201-1/+1
* Handle closure return typesFlorian Diebold2019-12-201-1/+6
* Use fill instread of for loopEdwin Cheng2019-12-191-5/+3
* Use build_for_defEdwin Cheng2019-12-191-1/+1
* Add std::ops::Index support for inferingEdwin Cheng2019-12-191-1/+21
* Add test markFlorian Diebold2019-12-151-0/+2
* Handle impl Trait more correctlyFlorian Diebold2019-12-151-1/+24
* Use different types for path with and without genericsAleksey Kladov2019-12-141-1/+1
* Use path macroFlorian Diebold2019-12-131-13/+13
* Rename N! to name!Florian Diebold2019-12-131-6/+6
* Add macros for known names and pathsFlorian Diebold2019-12-131-6/+6
* Correctly infer - and ! using std::ops::{Neg,Not}Emil Lauridsen2019-12-131-2/+14
* Add helper for resolving associated type of trait in inferEmil Lauridsen2019-12-131-0/+18
* Make unify pub(crate)Florian Diebold2019-12-031-1/+1
* Check receiver type properlyFlorian Diebold2019-12-021-2/+4
* Extract unification code to unify moduleFlorian Diebold2019-12-021-233/+22
* Infer range typesoxalica2019-11-281-0/+36