Updated test for #1603: Comparing a narrowed value declared with type parameter

First case is now properly fixed by #1535, second case disallowed by typechecker