{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"debug_assert!(ecx.opaque_type_is_rigid(opaque_ty.def_id));"}]}
            debug_assert!(ecx.opaque_type_is_rigid(opaque_ty.def_id));
        if let ty::Alias(ty::Opaque, opaque_ty) = goal.predicate.self_ty().kind() {
            for item_bound in cx.item_self_bounds(opaque_ty.def_id).skip_binder() {