diff options
author | Florian Diebold <[email protected]> | 2019-07-06 15:41:04 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2019-07-06 16:34:05 +0100 |
commit | 065d3987012b138b123f0544de193f8bb560b1b5 (patch) | |
tree | 029ff3c3a9beb816c3056cd38595e15f3c541998 /crates/ra_hir/src/ty.rs | |
parent | 219e0e8c8d6672feaab2f19b7c3280d5967360e4 (diff) |
Add trait obligations for where clauses when calling functions/methods
E.g. if we call `foo<T: Into<u32>>(x)`, that adds an obligation that `x:
Into<u32>`, etc.
Diffstat (limited to 'crates/ra_hir/src/ty.rs')
-rw-r--r-- | crates/ra_hir/src/ty.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/ra_hir/src/ty.rs b/crates/ra_hir/src/ty.rs index 11afdc0f3..d8c7945e1 100644 --- a/crates/ra_hir/src/ty.rs +++ b/crates/ra_hir/src/ty.rs | |||
@@ -23,8 +23,8 @@ pub(crate) use autoderef::autoderef; | |||
23 | pub(crate) use infer::{infer_query, InferTy, InferenceResult}; | 23 | pub(crate) use infer::{infer_query, InferTy, InferenceResult}; |
24 | pub use lower::CallableDef; | 24 | pub use lower::CallableDef; |
25 | pub(crate) use lower::{ | 25 | pub(crate) use lower::{ |
26 | callable_item_sig, generic_defaults, generic_predicates, type_for_def, type_for_field, | 26 | callable_item_sig, generic_defaults_query, generic_predicates_query, type_for_def, |
27 | TypableDef, | 27 | type_for_field, TypableDef, |
28 | }; | 28 | }; |
29 | pub(crate) use traits::ProjectionPredicate; | 29 | pub(crate) use traits::ProjectionPredicate; |
30 | 30 | ||