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