Skip to content

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
Merged

Treat results of methods without refinements as unconstrained in operations#312
CatarinaGamboa merged 2 commits into
mainfrom
fix/300-unknown-method-in-comparison

Handle unknown invocations on non-variable targets and interface methods

b7ad615
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar