https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126321
--- Comment #3 from Christoph & Ursula Grein <[email protected]> --- (In reply to Eric Botcazou from comment #2) > But > > function "/" (Left, Right: Whole) return Rational; > > is use visible. So what? It's the only use visible operation "/" via a use_package_clause, so the equality operation at line 13 is not appropriate, the only one is the implicit one at line 7. (A use_type_clause for type Whole would make the hidden operation visible - but there is none.) The use clause for package Rat_Arith does NOT make the hidden operation visible since it is NOT defined in this package. There is a problem - NOT RESOLVED!
