A valid and justified "use type" clause raises the error:
t_asu.adb:8:12: Error: Use: Primitive: "use type" clause for Asu.Asu_Us only used for primitive operations
Besides, the message "only used" suggests that less wide visibility could be requested, but which one?
AFAIK "use" provides direct visibility to the whole package, "use all type" provides vibility to primitive operations and operators on the type, and "use type" provides visibility to primitive operators only. Correct? So we expect this kind of error to be raised on singke "use" clause that could be replaced by a "use all type". Here, we use ony direct visibility to primitive operators. Or am I missing something?
Anonymous
