framework/src/main/java/org/checkerframework/common/aliasing/messages.properties

### Error messages for the AliasingChecker
unique.leaked=Reference annotated as @Unique is leaked.
unique.location.forbidden=The type @Unique cannot be used at this location.