From 28f90480873056583e7c2d13a59167fe4f7cd834 Mon Sep 17 00:00:00 2001 From: John Date: Mon, 29 Jul 2024 15:42:35 -0500 Subject: [PATCH] cl-typeck: Fix `infer.rs` doctests --- compiler/cl-typeck/src/stage/infer.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/cl-typeck/src/stage/infer.rs b/compiler/cl-typeck/src/stage/infer.rs index fde80ae..4b25e0c 100644 --- a/compiler/cl-typeck/src/stage/infer.rs +++ b/compiler/cl-typeck/src/stage/infer.rs @@ -96,7 +96,7 @@ impl Type { } /// Checks whether there are any unbound type variables in this type. /// ```rust - /// # use cl_typeck::inference::*; + /// # use cl_typeck::stage::infer::*; /// let bool = Type::new_op("bool".into(), &[]); /// let true_v = Type::new_inst(&bool); /// let unbound = Type::new_var(); @@ -149,7 +149,7 @@ impl Type { /// Panics if this type variable's instance field is already borrowed. /// # Examples /// ```rust - /// # use cl_typeck::inference::*; + /// # use cl_typeck::stage::infer::*; /// let t_bool = Type::new_op("bool".into(), &[]); /// let t_nest = Type::new_inst(&Type::new_inst(&Type::new_inst(&t_bool))); /// let pruned = t_nest.prune();