Add lost qualifier to viewpointtest type checker #656

Job	Run time
cftests-junit on JDK 21	6m 20s
typecheck-part1 on JDK 21	7m 14s
cftests-nonjunit on JDK 21	6m 2s
typecheck-part2 on JDK 21	11m 24s
guava on JDK 21	16m 59s
plume-lib on JDK 21	12m 18s
daikon-part1 on JDK 21	17m 46s
daikon-part2 on JDK 21	13m 46s
jspecify-conformance on JDK 21	3m 9s
jspecify-reference-checker on JDK 21	5m 0s
${{ matrix.script }} on JDK ${{ matrix.java.version }}	0s
${{ matrix.script }} on JDK ${{ matrix.java_version }} on ${{ matrix.os }}	0s
	1h 39m 58s

Provide feedback