[ fix #1443 ] Fin & Vec casts and properties#1839

Merged

MatthewDaggitt merged 4 commits intoagda:masterfrom

gallais:fin-cast

Oct 4, 2022

Commits on Sep 30, 2022

Commits on Oct 2, 2022

[ discussion ] replace cast-is-subst with subst-is-cast
gallais
committed