If you're writing a static analysis tool or an IDE then I think it's fine to expect you to read the spec.
If you're writing a static analysis tool or an IDE then I think it's fine to expect you to read the spec.