Possible incorrect Missing member result #20
Description
In access, a miss sometimes returns BOTTOM, but other paths produce an empty Overloaded, which later cases treat as TOP (e.g., case Overloaded(tuple()), arg: return TOP). This collapses “absent” into “unknown top,” which the spec explicitly avoids.