It would be awesome if we also had expansion for aliases.
For example:
@RefinementAlias("Byte(int x) { x >= -128 && x <= 127 }")
// ...
void test(@Refinement("Byte(b)") int b){
test(b + 1); // error
}
Result:

We could expand Byte(b) to have the byte expression defined before { b >= -128 && b <= 127 } both in the found and the expected.