1 bad_pragmas.rs:5:9: error: unknown pragma ignored 2 bad_pragmas.rs:6:9: error: unknown pragma ignored 3 bad_pragmas.rs:7:9: error: unknown pragma ignored 4 bad_pragmas.rs:8:8: error: unknown pragma ignored 5 bad_pragmas.rs:9:9: error: unknown pragma ignored 6 bad_pragmas.rs:10:9: error: unknown pragma ignored 7 bad_pragmas.rs:11:9: error: unknown pragma ignored 8
