{"ast_node_type":"variable","tokens":[{"end":83,"kind":"keyword","start":0,"text":"if"}]}
        if let ty::Alias(ty::Opaque, opaque_ty) = goal.predicate.self_ty().kind() {
        // See tests/ui/impl-trait/auto-trait-leakage/avoid-query-cycle-via-item-bound.rs.
            debug_assert!(ecx.opaque_type_is_rigid(opaque_ty.def_id));