syntax_data: {"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":".chain(a_data.principal_def_id().into_iter().flat_map(|principal_def_id|"}]}
source_snippet:             .chain(a_data.principal_def_id().into_iter().flat_map(|principal_def_id| {
context_before:             .auto_traits()
context_after:                 elaborate::supertrait_def_ids(tcx, principal_def_id)