`functionAttributes!({'a'.toUpper();}) != FunctionAttribute.pure_` would be wrong, because the result of `functionAttributes` is a bunch of `|`ed flags, and `pure_` is just one of them.