tests with assoc types