{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"///"}]}
    /// Type inference occasionally gives us opaque types in places where corresponding patterns
impl<'p, 'tcx: 'p> RustcPatCtxt<'p, 'tcx> {
    /// have more specific types. To avoid inconsistencies as well as detect opaque uninhabited