forst-lang / forst / 24006688937

76%

Build Type

push

github

Committed by haveyaseen

Commit Message

feat(lsp): refined hovers with type guard docs and same-package merge

Hovers for variables now include the refined type plus leading // doc
comments for each narrowing or constraint-based type guard that applies,
including peers merged from same-package analysis. Type guard names in
`is (…) Name` declarations resolve via Defs; ROADMAP reflects completed
hover/completion and cross-buffer behavior.

The typechecker records per-occurrence narrowing guards, infers nested
return expressions for metadata, normalizes assertion-alias narrowing to
underlying built-ins, and avoids clobbering TypeDefAssertionExpr-only defs
with empty shapes.

Example:

```forst
// Strength: at least 12 characters.
is (password Password) Strong {
  ensure password is Min(12)
}
```

Coverage Stats

167 of 274 new or added lines in 9 files covered. (60.95%)

7 existing lines in 2 files now uncovered.

13555 of 23134 relevant lines covered (58.59%)

11.49 hits per line