{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"query"}]}
    query assumed_wf_types_for_rpitit(key: DefId) -> &'tcx [(Ty<'tcx>, Span)] {
    /// traits with return-position impl trait in traits can inherit the right wf types.
        desc { |tcx| "computing the implied bounds of `{}`", tcx.def_path_str(key) }