{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"Some(def)"}]}
            Some(def) => iter::once(def).collect(),
        match resolution.map(Definition::from) {
            None => {