Skip to content

Add conditional type narrowing #150

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
heshanpadmasiri wants to merge 2 commits into
base: main
Choose a base branch
from
+976 −31

Make type narrowing concurrent

561ec8e
Select commit
Loading
Failed to load commit list.
Open

Add conditional type narrowing #150

Make type narrowing concurrent
561ec8e
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Feb 24, 2026 in 1s

89.25% of diff hit (target 29.48%)

View this Pull Request on Codecov

89.25% of diff hit (target 29.48%)

Annotations

Check warning on line 206 in ast/statements.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

ast/statements.go#L205-L206 

Added lines #L205 - L206 were not covered by tests

Check warning on line 210 in ast/statements.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

ast/statements.go#L209-L210 

Added lines #L209 - L210 were not covered by tests

Check warning on line 75 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L75 

Added line #L75 was not covered by tests

Check warning on line 83 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L83 

Added line #L83 was not covered by tests

Check warning on line 92 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L91-L92 

Added lines #L91 - L92 were not covered by tests

Check warning on line 180 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L180 

Added line #L180 was not covered by tests

Check warning on line 226 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L226 

Added line #L226 was not covered by tests

Check warning on line 320 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L315-L320 

Added lines #L315 - L320 were not covered by tests

Check warning on line 327 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L322-L327 

Added lines #L322 - L327 were not covered by tests

Check warning on line 379 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L379 

Added line #L379 was not covered by tests

Check warning on line 419 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L419 

Added line #L419 was not covered by tests

Check warning on line 427 in semantics/type_narrowing/type_narrowing.go

See this annotation in the file changed.

@codecov codecov / codecov/patch

semantics/type_narrowing/type_narrowing.go#L424-L427 

Added lines #L424 - L427 were not covered by tests
View more details on Codecov