{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"OpaqueType(OpaqueTypeKey<'tcx>),"}]}
    OpaqueType(OpaqueTypeKey<'tcx>),
    /// Inhabited if either we don't know the hidden type or we know it and it is inhabited.
    /// A AND B