<@U0AK89KT6>: Yes, they do, but what I mean by "du...

# language-proposals

[abreslav]

@jkbbwr: Yes, they do, but what I mean by "duplicating annotations" is having the same annotation copied across several declarations