Partial body resolve: added a test to fail if smart-casts will become too clever