From 858c1d6ac22804dc38c234b2d822fe925ab51025 Mon Sep 17 00:00:00 2001
From: ice1000 <ice1000kotlin@foxmail.com>
Date: Thu, 9 Jan 2025 16:33:18 -0500
Subject: [PATCH] review: optimize import

---
 .../main/java/org/aya/syntax/core/term/FreeTerm.java |  3 +--
 .../java/org/aya/syntax/core/term/LocalTerm.java     | 12 +++---------
 .../main/java/org/aya/syntax/core/term/Param.java    |  1 -
 3 files changed, 4 insertions(+), 12 deletions(-)

diff --git a/syntax/src/main/java/org/aya/syntax/core/term/FreeTerm.java b/syntax/src/main/java/org/aya/syntax/core/term/FreeTerm.java
index 19615eab5a..94fc2dc59c 100644
--- a/syntax/src/main/java/org/aya/syntax/core/term/FreeTerm.java
+++ b/syntax/src/main/java/org/aya/syntax/core/term/FreeTerm.java
@@ -16,8 +16,7 @@ public record FreeTerm(@NotNull LocalVar name) implements TyckInternal {
   //   return this;
   // }
 
-  @Override
-  public @NotNull Term bindAllFrom(@NotNull ImmutableSeq<LocalVar> vars, int fromDepth) {
+  @Override public @NotNull Term bindAllFrom(@NotNull ImmutableSeq<LocalVar> vars, int fromDepth) {
     var idx = vars.indexOf(this.name);
     if (idx == -1) return this;
 
diff --git a/syntax/src/main/java/org/aya/syntax/core/term/LocalTerm.java b/syntax/src/main/java/org/aya/syntax/core/term/LocalTerm.java
index 1313889efd..992b23b3bc 100644
--- a/syntax/src/main/java/org/aya/syntax/core/term/LocalTerm.java
+++ b/syntax/src/main/java/org/aya/syntax/core/term/LocalTerm.java
@@ -1,4 +1,4 @@
-// Copyright (c) 2020-2024 Tesla (Yinsen) Zhang.
+// Copyright (c) 2020-2025 Tesla (Yinsen) Zhang.
 // Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
 package org.aya.syntax.core.term;
 
@@ -12,14 +12,8 @@ public record LocalTerm(int index) implements Term {
     assert index >= 0 : "Sanity check";
   }
 
-  @Override
-  public @NotNull Term descent(@NotNull IndexedFunction<Term, Term> f) {
-    return this;
-  }
-
-  @Override public @NotNull Term bindAt(@NotNull LocalVar var, int depth) {
-    return this;
-  }
+  @Override public @NotNull Term descent(@NotNull IndexedFunction<Term, Term> f) { return this; }
+  @Override public @NotNull Term bindAt(@NotNull LocalVar var, int depth) { return this; }
 
   @Override public @NotNull Term replaceAllFrom(int from, @NotNull ImmutableSeq<Term> list) {
     var i = index - from;
diff --git a/syntax/src/main/java/org/aya/syntax/core/term/Param.java b/syntax/src/main/java/org/aya/syntax/core/term/Param.java
index bd703fdd7a..7f0e1dd573 100644
--- a/syntax/src/main/java/org/aya/syntax/core/term/Param.java
+++ b/syntax/src/main/java/org/aya/syntax/core/term/Param.java
@@ -3,7 +3,6 @@
 package org.aya.syntax.core.term;
 
 import kala.collection.SeqView;
-import kala.collection.immutable.ImmutableSeq;
 import org.aya.generic.AyaDocile;
 import org.aya.pretty.doc.Doc;
 import org.aya.syntax.core.RichParam;