syntax_data: {"ast_node_type":"import","tokens":[{"end":90,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// in fully-monomorphic cases. We choose not to, because we prefer for `default type`
context_before:     /// general for soundness of specialization. However, we *could* allow projections
context_after:     /// to force the type definition to be treated abstractly by any consumers of the