{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"Some(ValuePathResolution::GenericDef(value_def,"}]}
        Some(ValuePathResolution::GenericDef(value_def, generic_def, substs))
    }