Variable not found for the type of a `with` assertion
Open
- Dominant language
- No language data
- Stars
- 36
- Forks
- 11
- PR merge metrics
- No merged PRs in 30d
Description
```fstar
fn foo (#et : Type0)
{
with (v_elems_tile : seq et). assert emp;
}
```
Says:
```
- Ill-typed term: seq et
- Variable "et" not found
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.