{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"RegionResolutionError::GenericBoundFailure(origin,"}]}
                        RegionResolutionError::GenericBoundFailure(origin, a, b) => {
                        }
                            let predicate = format!("{a}: {b}");