Stubs: extension properties on a class whose stub name is taken in its module are dropped (Icons.Default.Add) #68

The kotlin-stubs artifact (run 37097934282, develop 31c092f) has, in androidx/compose/material/icons/__init__.pyi:

# Kotlin property: androidx.compose.material.icons.filled.Add is not stubbed: Filled has no stub class (its name is taken in its module)

Icons.Default.Add works at run time (MaterialIconsRenderTest.iconsDefaultAddDrawsFromPythonExactlyAsFromKotlin), but the stub has no Add, so IDE completion fails and mypy rejects Icons.Default.Add (pythonx-compose DefaultIcons.Add). Icons.Filled is a nested class of the Icons object; its name collides in the module (likely with the filled package or the folded class module from the case-unique layout).

Completion: a stub test where an extension property's receiver is a nested class of an object whose name collides in its module still produces a typed attribute (Add: ImageVector reachable as Icons.Filled.Add / Icons.Default.Add); regenerated Compose stubs pass tools/stubs/check-stubs.sh with a consumer line Icons.Default.Add.