{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// Obviously these must be approximate -- they are in fact both *over* and
    /// Searches the environment to find all bounds that apply to `erased_ty`.
    /// and *under* approximated: