Skip to content

Commit c21985a

Browse files
committed
Minor Change
1 parent ec1375f commit c21985a

File tree

1 file changed

+2
-1
lines changed
  • liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker

1 file changed

+2
-1
lines changed

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

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -248,7 +248,8 @@ protected void handleAlias(String value, CtElement element) {
248248
a.parse(path);
249249
// refinement alias must return a boolean expression
250250
if (a.getExpression() != null && !a.getExpression().isBooleanExpression()) {
251-
diagnostics.add(new CustomError(element, "Refinement alias must return a boolean expression"));
251+
diagnostics.add(new InvalidRefinementError(element,
252+
"Refinement alias must return a boolean expression", value));
252253
return;
253254
}
254255
AliasWrapper aw = new AliasWrapper(a, factory, Keys.WILDCARD, context, klass, path);

0 commit comments

Comments
 (0)