syntax_data: {"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"Some(clause.def_id())"}]}
source_snippet:                     Some(clause.def_id()) == sized_def_id
context_before:                 if !predicates.into_iter().filter_map(ty::Clause::as_trait_clause).any(|clause| {
context_after:                         && clause.skip_binder().self_ty() == self_ty