{"ast_node_type":"import","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// then we use the name that we have on record for it. If `r` is
    /// we can use for error reporting. If `r` is universally bound,
    /// existentially bound, then we check its inferred value and try