5.1p2 says that a function has a type, type parameters and rank, and may have other attributes. It goes on to say that the type, type parameters, and rank are those of its result variable. What about the "other attributes?" Are the "other attributes" of a function those of its result variable?