#62 Error "use" clause used for primitive operations

[Anonymous]

The use clause in Check is required because of the statement "T := Other" where Other is not prefixed.
A "use type" clause would not be enough for this.

Still adactl complains:
check.adb:2:5: Error: Use: Primitive: "use" clause for Trilean used for primitive operations of Trilean.Trilean

[Jean-Pierre Rosen]

AdaControl is right, the use clause can be replaced by a "use all type" clause, as documented in the user's guide:
"“primitive”: a use clause is given, but the only elements within its scope that do not use a qualified name are primitive operations (including operators, enumeration literals, subprograms...). The message starts with “Primitive:”"

[Anonymous]