diagnostics on default type setting