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