Currently, we use ignore annotations without comment, which makes it hard to understand why it's ignored. I saw the reference adds an explanation as a comment like <!-- expanded code -->, I like this idea. We should audit the use of ignore annotations and add comments to them on the nomicon as well.
Currently, we use
ignoreannotations without comment, which makes it hard to understand why it's ignored. I saw the reference adds an explanation as a comment like<!-- expanded code -->, I like this idea. We should audit the use ofignoreannotations and add comments to them on the nomicon as well.