Skip to content

Error-any from unresolvable imports silently becomes 'a / string — must flag (ThemeProvider.foundationTokens) #107

Description

@jagguji

From the blend-output audit (root-caused with a standalone TS probe).

Problem

When an imported type resolves to any because the import itself is broken (blend: ThemeType reaches 10 modules through the shadowed ../tokens path — see #94 discussion), bindgen treats it as author-written any:

Contract violations: rule 4 ('a only for a genuine round-trip generic) and flag-don't-fake.

Suggested fix

Distinguish error-any (checker error type from an unresolvable import) from author-written any; flag it 🔍/🛑 in the report and emit the commented placeholder, never a silent type var. The broken-import diagnostic can name the failing module, exactly like the existing broken re-export warning.

Note TokensTypes.foundationTokenType is fully modelled — once flagged, consumers can hand-match in seconds.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions