From ef558c97d09b0be8639c92f490e5ad380aa04288 Mon Sep 17 00:00:00 2001
From: Florian Diebold <flodiebold@gmail.com>
Date: Fri, 21 May 2021 19:50:18 +0200
Subject: Clean up visibilities
---
crates/hir_ty/src/infer/unify.rs | 20 ++++++++++----------
1 file changed, 10 insertions(+), 10 deletions(-)
(limited to 'crates/hir_ty/src/infer')
diff --git a/crates/hir_ty/src/infer/unify.rs b/crates/hir_ty/src/infer/unify.rs
index 4987795e0..21d3fb54e 100644
--- a/crates/hir_ty/src/infer/unify.rs
+++ b/crates/hir_ty/src/infer/unify.rs
@@ -136,10 +136,10 @@ type ChalkInferenceTable = chalk_solve::infer::InferenceTable<Interner>;
#[derive(Clone)]
pub(crate) struct InferenceTable<'a> {
- pub db: &'a dyn HirDatabase,
- pub trait_env: Arc<TraitEnvironment>,
- pub(super) var_unification_table: ChalkInferenceTable,
- pub(super) type_variable_table: Vec<TypeVariableData>,
+ pub(crate) db: &'a dyn HirDatabase,
+ pub(crate) trait_env: Arc<TraitEnvironment>,
+ var_unification_table: ChalkInferenceTable,
+ type_variable_table: Vec<TypeVariableData>,
pending_obligations: Vec<Canonicalized<InEnvironment<Goal>>>,
}
@@ -332,7 +332,7 @@ impl<'a> InferenceTable<'a> {
self.var_unification_table.normalize_ty_shallow(&Interner, ty).unwrap_or_else(|| ty.clone())
}
- pub fn register_obligation(&mut self, goal: Goal) {
+ pub(crate) fn register_obligation(&mut self, goal: Goal) {
let in_env = InEnvironment::new(&self.trait_env.env, goal);
self.register_obligation_in_env(in_env)
}
@@ -344,11 +344,11 @@ impl<'a> InferenceTable<'a> {
}
}
- pub fn register_infer_ok(&mut self, infer_ok: InferOk) {
+ pub(crate) fn register_infer_ok(&mut self, infer_ok: InferOk) {
infer_ok.goals.into_iter().for_each(|goal| self.register_obligation_in_env(goal));
}
- pub fn resolve_obligations_as_possible(&mut self) {
+ pub(crate) fn resolve_obligations_as_possible(&mut self) {
let _span = profile::span("resolve_obligations_as_possible");
let mut changed = true;
let mut obligations = Vec::new();
@@ -445,9 +445,9 @@ mod resolve {
use hir_def::type_ref::ConstScalar;
pub(super) struct Resolver<'a, 'b, F> {
- pub table: &'a mut InferenceTable<'b>,
- pub var_stack: &'a mut Vec<InferenceVar>,
- pub fallback: F,
+ pub(super) table: &'a mut InferenceTable<'b>,
+ pub(super) var_stack: &'a mut Vec<InferenceVar>,
+ pub(super) fallback: F,
}
impl<'a, 'b, 'i, F> Folder<'i, Interner> for Resolver<'a, 'b, F>
where
--
cgit v1.2.3