syntax_data: {"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":")"}]}
source_snippet:             ) => ty::Binder::dummy(vec![]),
context_before:                 | LangItem::Unpin,
context_after:             other => bug!("unexpected builtin trait {trait_def:?} ({other:?})"),