{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
/// storing it in the `GoalSource` of the emitted `AliasRelate` goals.
/// inside of the nested goal by inheriting the `step_kind` of the nested goal and
/// This is necessary for tests/ui/sized/coinductive-1.rs to compile.