{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//!"}]}
//! modules `b`, `c` and `d`. Calling `inhabited_predicate` on `Foo` will
//! In this code, the type `Foo` will only be visibly uninhabited inside the
//! return `NotInModule(b) AND NotInModule(c)`.