Variable not found for the type of a `with` assertion

[mtzguido]

fn foo (#et : Type0)
{
  with (v_elems_tile : seq et). assert emp;
}

Says:

- Ill-typed term: seq et
- Variable "et" not found