syntax_data: {"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":")"}]}
source_snippet: ) -> PolyTraitPredicate<'tcx> {
context_before:     candidate: PolyTraitPredicate<'tcx>,
context_after:     if !infcx.tcx.is_lang_item(obligation.predicate.def_id(), LangItem::MetaSized)