Use Annotation Position in Invalid Refinement Errors

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/TypeChecker.java

@@ -81,7 +81,8 @@ public Optional<Predicate> getRefinementFromAnnotation(CtElement element) throws
         if (ref.isPresent()) {
             Predicate p = new Predicate(ref.get(), element);
             if (!p.getExpression().isBooleanExpression()) {
-                throw new InvalidRefinementError(element.getPosition(),
+                SourcePosition position = Utils.getAnnotationPosition(element, ref.get());
+                throw new InvalidRefinementError(position,
                         "Refinement predicate must be a boolean expression", ref.get());
             }
             constr = Optional.of(p);
@@ -250,7 +251,7 @@ protected void handleAlias(String ref, CtElement element, SourcePosition positio
             if (klass != null && path != null) {
                 a.parse(path);
                 if (a.getExpression() != null && !a.getExpression().isBooleanExpression()) {
-                    throw new InvalidRefinementError(element.getPosition(),
+                    throw new InvalidRefinementError(position,
                             "Refinement alias must return a boolean expression", ref);
                 }
                 AliasWrapper aw = new AliasWrapper(a, factory, klass, path);