Yes, the idea of adding the list in here would be to start actually programatically verifying attributes. I would envision that a list would get added and then once rustc compiles it's "complete enough"