diff options
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. |