syntax_data: {"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// predicate which is emitted when a type is coerced to a trait object.
context_before: /// and also things that are emitted as part of type checking such as `DynCompatible`
context_after: ///