syntax_data: {"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"&&"}]}
source_snippet:                 && trait_pred.self_ty().skip_binder() == constraint_ty
context_before:             trait_pred.def_id() == sizedness_trait_def_id
context_after:         })