type compile fail