{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
/// goals, used when adding goals to the `EvalCtxt`. We compute the
/// Eagerly replace aliases with inference variables, emitting `AliasRelate`
/// `AliasRelate` goals before evaluating the actual goal to get all the