{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"deeply_normalize_ty(outlives,"}]}
                    deeply_normalize_ty(outlives, origin.clone())
                let ty::OutlivesPredicate(sup_type, sub_region) =
                        .map_err(|NoSolution| (outlives, origin.clone()))?