在AspectJ中，within(is(FinalType))用于限制切入点匹配只在最终类型上进行。然而，有时候AspectJ可能会忽略这个限制，导致切入点匹配到非最终类型。

为了解决这个问题，可以使用其他方式来实现只在最终类型上匹配的效果。以下是一种可能的解决方法：

public aspect MyAspect {
    pointcut myPointcut(): execution(* com.example.FinalType.method()) && within(com.example.FinalType);

    before(): myPointcut() {
        if (thisJoinPoint.getThis() instanceof com.example.FinalType) {
            // 在最终类型上执行切面逻辑
            System.out.println("Executing aspect logic on final type");
        } else {
            // 在非最终类型上执行切面逻辑
            System.out.println("Executing aspect logic on non-final type");
        }
    }
}

在上面的代码中，我们使用execution(* com.example.FinalType.method())来匹配com.example.FinalType类中的method()方法，并使用within(com.example.FinalType)来限制匹配仅在com.example.FinalType类内部进行。

在切面的before()通知中，我们使用thisJoinPoint.getThis()来获取当前被调用的对象，并使用instanceof运算符来检查是否是最终类型。如果是最终类型，则执行切面逻辑；如果不是最终类型，则可以选择忽略或执行与非最终类型相关的逻辑。

通过这种方法，我们可以在AspectJ中实现只在最终类型上匹配的效果，并对非最终类型执行不同的逻辑。