From bac54409c9066b774e4ace5b9f52791abfaaf44c Mon Sep 17 00:00:00 2001 From: ice1000 Date: Mon, 20 Jan 2025 03:12:47 -0500 Subject: [PATCH] fmt: IntelliJ has a bug --- base/src/main/java/org/aya/resolve/visitor/ExprResolver.java | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/base/src/main/java/org/aya/resolve/visitor/ExprResolver.java b/base/src/main/java/org/aya/resolve/visitor/ExprResolver.java index 56b42350d..d304a16ad 100644 --- a/base/src/main/java/org/aya/resolve/visitor/ExprResolver.java +++ b/base/src/main/java/org/aya/resolve/visitor/ExprResolver.java @@ -234,9 +234,7 @@ private void addReference(@NotNull DefVar defVar) { /// Resolve a [Pattern] /// - /// @param telescope the telescope of the clause which the {@param pattern} lives, - /// it is safe to supply an [ImmutableSeq#empty()] - /// if there is no telescope or the user cannot refer to it. + /// @param telescope the telescope of the clause which the {@param pattern} lives, can be [ImmutableSeq#empty()]. public @NotNull WithPos resolvePattern(@NotNull WithPos pattern, @NotNull ImmutableSeq telescope, MutableValue ctx) { var resolver = new PatternResolver(ctx.get(), telescope, this::addReference); var result = pattern.descent(resolver);