{"ast_node_type":"impl","tokens":[{"end":57,"kind":"keyword","start":0,"text":"///"}]}
/// normalize by using an impl if the trait goal has been
/// its corresponding trait goal. Most notably, we do not
/// proven via a `ParamEnv` candidate.