Fix #1195 to use a throw new Error() instead of using an infinite loop to appease javac.
Issue #1195: tests: Update the .src now we use a throw
Issue #1195: test: Re-enable the test now that the typechecker no longer rejects it.
Issue #1227: Add a test, currently @Ignored