forst-lang / forst / 24628319714

76%

Build Type

push

github

Committed by haveyaseen

Commit Message

refactor(typechecker): generic opaque Go FFI typing and nil comparison fix

Drop name-based opaque field typing and method return heuristics: implicit
values use a single implicit method result and implicit field segments until
go/types can refine receivers. Remove third-party-specific wording from
comments.

fix(typechecker): unify `nil == nil` to Bool

Both operands are untyped nil (empty inferred type list); handle explicitly
instead of requiring a single inferred type on the other side.

test(typechecker): extend go interop and opaque lookup coverage

Add goTypeToForstType / forstAssignableToGoType / goPackageForImportLocal
tests and lookup_field_path opaque cases; unify operator tests for nil == nil
and err != nil.

builtins_test.go is reduced to a focused CheckBuiltinMethod implicit test;
many prior table-driven integration cases were deleted from that file—confirm
they are obsolete or moved elsewhere before committing.

Example (nil comparison):

```forst
ensure err == nil
```

Example (opaque Go type maps to implicit):

```go
// goTypeToForstType(reflect.TypeOf(strings.Reader{})) — named Go type -> implicit
```

Coverage Stats

8 of 8 new or added lines in 2 files covered. (100.0%)

23 existing lines in 2 files now uncovered.

20785 of 27415 relevant lines covered (75.82%)

88.91 hits per line