use foo::Bar does not bind the bare name Bar (qualified-only)

[Kinflou]

Summary

After use foo::Bar, a bare Bar reference does not resolve — validation reports Unknown type 'Bar'. Only the qualified form foo::Bar works. In Rust, use foo::Bar; binds Bar in scope; Comline should match that.

Repro

// src/types.ids
struct User {
    id: u64
}

// src/api.ids
use types::User

struct Session {
    user: User          // ERR: Unknown type 'User' - did you mean 'str'?
}

Works if written user: types::User.

Confirmed across every form — only the qualified reference resolves:

after use types::User (or {User} / * / crate::types::User)	user: User	user: types::User
resolves?	❌	✅

Where

core/src/schema/ir/compiler/interpreter/incremental.rs — resolve_use_declaration emits FrozenUnit::Import("types::User", span) (fully-qualified). The validator (core/src/schema/ir/validation/) then only matches a field type against that qualified string, not against the trailing symbol.

Fix is one of:

• resolve_use_declaration also records the local binding (bare User -> types::User), and validation consults it; or
• validation accepts a bare type name that equals the last segment of some in-scope Import (with a collision check).

use foo::Bar as Baz should bind Baz the same way.

Context

Surfaced while adding PackageSources (#42). Not a regression - pre-existing. Doesn't block the playground work (qualified references work).

[Kinflou]

PR #44 fixes the bare-name case (use ns::Name -> Name). Narrowing this issue to what remains: use ns::Name as Alias — resolve_use_declaration drops use_stmt.alias entirely, so the alias binds nothing (bare or qualified).