types2: add two failing tests