syntax_data: {"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// predicate to used in the candidate for such a `obligation`, given a `candidate`.
context_before: /// in the trait solver to find a `Sized` candidate for a `MetaSized` obligation. Returns the
context_after: pub(crate) fn lazily_elaborate_sizedness_candidate<'tcx>(