Issue #1026: Figure out what the RHS type is properly
Issue #1026: Test