If ATC put them straight into a Mountain, would it be correct to dutifully fly into it, or would that be an error on the pilot side?
My understanding is that Pilots are also required to review NOTAMs. There are tons of systems and operations with redundancy built in. An error in the primary does not negate an error in the backup. In fact, it is often the only way you learn of errors with the backup.