syntax_data: {"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: ///
context_before: /// Compute the predicates that are required for a type to be well-formed.
context_after: /// This is only intended to be used in the new solver, since it does not