dummy_public_attr_info

charon_driver::translate::translate_trait_objects

Function dummy_public_attr_info 

Source 
fn dummy_public_attr_info() -> AttrInfo