diff options
author | Florian Diebold <[email protected]> | 2019-05-05 15:04:31 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2019-05-07 12:45:29 +0100 |
commit | a78228a39c4786e67e5a94384388a04aa8d7b172 (patch) | |
tree | b7a22e89ff4fa3c28001794ae2414b423d0e0fec /crates/ra_hir/src/ty/traits.rs | |
parent | ef782adc293deb287128f005dbab2038ba3ccdc1 (diff) |
Turn `implements` into a query again
Diffstat (limited to 'crates/ra_hir/src/ty/traits.rs')
-rw-r--r-- | crates/ra_hir/src/ty/traits.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/crates/ra_hir/src/ty/traits.rs b/crates/ra_hir/src/ty/traits.rs index a1ed0c028..f70a32575 100644 --- a/crates/ra_hir/src/ty/traits.rs +++ b/crates/ra_hir/src/ty/traits.rs | |||
@@ -125,11 +125,11 @@ fn solution_from_chalk(db: &impl HirDatabase, solution: chalk_solve::Solution) - | |||
125 | } | 125 | } |
126 | 126 | ||
127 | #[derive(Clone, Debug, PartialEq, Eq)] | 127 | #[derive(Clone, Debug, PartialEq, Eq)] |
128 | pub(crate) struct SolutionVariables(pub Canonical<Vec<Ty>>); | 128 | pub struct SolutionVariables(pub Canonical<Vec<Ty>>); |
129 | 129 | ||
130 | #[derive(Clone, Debug, PartialEq, Eq)] | 130 | #[derive(Clone, Debug, PartialEq, Eq)] |
131 | /// A (possible) solution for a proposed goal. | 131 | /// A (possible) solution for a proposed goal. |
132 | pub(crate) enum Solution { | 132 | pub enum Solution { |
133 | /// The goal indeed holds, and there is a unique value for all existential | 133 | /// The goal indeed holds, and there is a unique value for all existential |
134 | /// variables. | 134 | /// variables. |
135 | Unique(SolutionVariables), | 135 | Unique(SolutionVariables), |
@@ -144,7 +144,7 @@ pub(crate) enum Solution { | |||
144 | #[derive(Clone, Debug, PartialEq, Eq)] | 144 | #[derive(Clone, Debug, PartialEq, Eq)] |
145 | /// When a goal holds ambiguously (e.g., because there are multiple possible | 145 | /// When a goal holds ambiguously (e.g., because there are multiple possible |
146 | /// solutions), we issue a set of *guidance* back to type inference. | 146 | /// solutions), we issue a set of *guidance* back to type inference. |
147 | pub(crate) enum Guidance { | 147 | pub enum Guidance { |
148 | /// The existential variables *must* have the given values if the goal is | 148 | /// The existential variables *must* have the given values if the goal is |
149 | /// ever to hold, but that alone isn't enough to guarantee the goal will | 149 | /// ever to hold, but that alone isn't enough to guarantee the goal will |
150 | /// actually hold. | 150 | /// actually hold. |