Treat results of methods without refinements as unconstrained in operations - #312

Merged

CatarinaGamboa merged 2 commits into

mainfrom

fix/300-unknown-method-in-comparison

Oct 2, 2026

Commits on Sep 30, 2026

Treat results of methods without refinements as unconstrained in operations

CatarinaGamboa
and
claude
committed
8e8ed29
Handle unknown invocations on non-variable targets and interface methods

CatarinaGamboa
and
claude
committed
b7ad615