diagnostic on default types