aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/infer.rs
Commit message (Collapse)AuthorAgeFilesLines
* Fix coercion of last expression in function bodyFlorian Diebold2019-12-201-1/+1
|
* Handle closure return typesFlorian Diebold2019-12-201-1/+6
| | | | Fixes #2547.
* 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
| | | | | | | When calling a function, argument-position impl Trait is transparent; same for return-position impl Trait when inside the function. So in these cases, we need to represent that type not by `Ty::Opaque`, but by a type variable that can be unified with whatever flows into there.
* 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
|
* Move source-related traits to a separate moduleAleksey Kladov2019-11-281-1/+1
|
* Move TyAleksey Kladov2019-11-271-0/+723