Added failing resolver unit test to comment a bug. (nullable lifting)