{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"Some((def,"}]}
        Some((def, trait_ref.substitution))
        self.write_assoc_resolution(id, item, trait_ref.substitution.clone());
    }