Passing tests for record binders