{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
                // Normalize before testing to see through type aliases and projections.
            clauses.instantiate(tcx, new_args).predicates.iter().all(|&(mut clause)| {
                if let Ok(normalized) = tcx.try_normalize_erasing_regions(