forst-lang / forst / 24638335993

76%

Build Type

push

github

Committed by haveyaseen

Commit Message

feat(typechecker): resolve Go-bound fields and hovers via go/types

Prefer go/types when resolving dotted field access on locals recorded in
variableGoTypes, so named structs and slices map to concrete Forst types
instead of stopping at Pointer((implicit)). Show the real go/types string in
variable hovers when the Forst mapping is lossy, and list raw Go return types
on Go function hovers. Allow len and cap on TYPE_IMPLICIT operands so opaque
Go values remain valid where Go accepts them.

Example:

```forst
// After a Go call binds u, u.Path and len(u.Attachments) use go/types
// instead of implicit pointer/slice approximations.
```

Coverage Stats

49 of 81 new or added lines in 6 files covered. (60.49%)

1 existing line in 1 file now uncovered.

21095 of 27591 relevant lines covered (76.46%)

89.06 hits per line