1 module missing_header { 2 module missing { header "missing_header/missing.h" } 3 module error_importing_this { header "missing_header/not_missing.h" } 4 } 5 6 module nonrequired_missing_header { 7 module unsatisfied_requires { 8 requires nonexistent_feature 9 header "nonrequired_missing_header/missing.h" 10 } 11 module fine_to_import { 12 header "nonrequired_missing_header/not_missing.h" 13 } 14 } 15 16 module missing_requirement { 17 requires nonexistent_feature 18 header "missing_requirement.h" 19 } 20
