https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126321
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|INVALID |---
Status|RESOLVED |NEW
Ever confirmed|0 |1
Summary|Vsibility problem: |inconsistent resolution of
|resolution of operator |operator taking nonlocal
|fails because of not |subtype of Integer
|directly visible second |
|operator |
Last reconfirmed| |2026-07-19
Severity|normal |minor
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> 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.
It looks like the compiler agrees with that for the assignment to W, but not
for the comparison with R, which is inconsistent. To be investigated.
