Function def_path_res 

fn def_path_res(tcx: &TyCtxt<'_>, path: &[&str]) -> Vec<Res>