Now correctly diagnose thread role attributes whose argument should be a list
but is actually empty.  This previously crashed the compiler.