I don't like annotations, and I don't like this wave of using funky characters next to types. For technical reasons, I understand, but for aesthetic reasons, I am not so sure.
One case is #Java nullable types annotations:
https://openjdk.org/jeps/8303099
Another case is this idea for Mutation Capabilities in #Scala, which will use a ^ to declare that something can change.