Revert the comment change

tweag · Sep 12, 2024 · 0eda370 · 0eda370
1 parent a5d5f57
commit 0eda370
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/core/src/typecheck/pattern.rs b/core/src/typecheck/pattern.rs
@@ -176,9 +176,9 @@ pub(super) trait PatternTypes {
     /// value will be checked against the type generated by `pattern_type` and the bindings will be
     /// added to the type environment.
     ///
-    /// The type of each "leaf" identifier will be assigned based on the `mode`
-    /// argument. The current possibilities are for each leaf to have type
-    /// `Dyn`, or to be assigned a fresh unification variable.
+    /// The type of each "leaf" identifier will be assigned based on the `mode` argument. The
+    /// current possibilities are for each leaf to have type `Dyn`, to use an explicit type
+    /// annotation, or to be assigned a fresh unification variable.
     fn pattern_types(
         &self,
         state: &mut State,