diff options
Diffstat (limited to 'crates/ra_hir/src/ty/traits.rs')
-rw-r--r-- | crates/ra_hir/src/ty/traits.rs | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/crates/ra_hir/src/ty/traits.rs b/crates/ra_hir/src/ty/traits.rs index 718970553..e0c93550a 100644 --- a/crates/ra_hir/src/ty/traits.rs +++ b/crates/ra_hir/src/ty/traits.rs | |||
@@ -72,11 +72,13 @@ fn solve( | |||
72 | /// fn foo<T: Default>(t: T) {} | 72 | /// fn foo<T: Default>(t: T) {} |
73 | /// ``` | 73 | /// ``` |
74 | /// we assume that `T: Default`. | 74 | /// we assume that `T: Default`. |
75 | #[derive(Clone, Debug, PartialEq, Eq, Hash, PartialOrd, Ord)] | 75 | #[derive(Clone, Debug, PartialEq, Eq, Hash)] |
76 | pub struct Environment; | 76 | pub struct Environment { |
77 | pub predicates: Vec<GenericPredicate>, | ||
78 | } | ||
77 | 79 | ||
78 | /// Something (usually a goal), along with an environment. | 80 | /// Something (usually a goal), along with an environment. |
79 | #[derive(Clone, Debug, PartialEq, Eq, Hash, PartialOrd, Ord)] | 81 | #[derive(Clone, Debug, PartialEq, Eq, Hash)] |
80 | pub struct InEnvironment<T> { | 82 | pub struct InEnvironment<T> { |
81 | pub environment: Arc<Environment>, | 83 | pub environment: Arc<Environment>, |
82 | pub value: T, | 84 | pub value: T, |