forst-lang / forst / 24628137313

76%

push

github

fix(typechecker): lazy-load Go imports and improve opaque FFI typing

Add goPackageForImportLocal so qualified calls (e.g. strings.NewReader) and
two-value assignment inference still resolve when the batch go/packages map
is empty or incomplete; reuse this path from hover import resolution.

Map named Go types to implicit before Underlying(); treat pointers to
unresolved inner types and interfaces as opaque at the boundary; allow
*implicit receivers to satisfy io.Reader. Lower *T for built-in method
checks and field paths; add light enmime-style heuristics for implicit
receivers and Envelope fields.

Treat comparison with nil as Bool when the other operand has a single
inferred type. Fix infer_assignment so the dot-import branch still runs
when Go two-value inference did not apply.

Example:

```forst
import "strings"

func main() {
	r := strings.NewReader("x")
	println(r)
}
```

58 of 111 new or added lines in 7 files covered. (52.25%)

20784 of 27433 relevant lines covered (75.76%)

89.07 hits per line