Skip to content

match: extract discriminant

Codecov / codecov/patch succeeded Feb 17, 2025 in 0s

92.98% of diff hit (target 83.66%)

View this Pull Request on Codecov

92.98% of diff hit (target 83.66%)

Annotations

Check warning on line 190 in base/src/main/java/org/aya/tyck/ExprTycker.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

base/src/main/java/org/aya/tyck/ExprTycker.java#L190 

Added line #L190 was not covered by tests

Check warning on line 610 in syntax/src/main/java/org/aya/syntax/concrete/Expr.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

syntax/src/main/java/org/aya/syntax/concrete/Expr.java#L610 

Added line #L610 was not covered by tests
View more details on Codecov