Better diagnostics throw fewer __traits(compiles