syntax_data: {"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"ImplDerivedCause,"}]}
source_snippet:     ImplDerivedCause, Normalized, Obligation, ObligationCause, ObligationCauseCode,
context_before: use super::{
context_after:     PolyTraitObligation, PredicateObligation, Selection, SelectionError, SelectionResult,