syntax_data: {"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"EvaluationResult,"}]}
source_snippet:     EvaluationResult, Obligation, ObligationCause, OverflowError, SelectionContext, TraitQueryMode,
context_before: use rustc_trait_selection::traits::{
context_after:     sizedness_fast_path,