Function get_trait_method_requires 

fn get_trait_method_requires<'tcx>(
    tcx: TyCtxt<'tcx>,
    callee_def_id: DefId,
) -> Vec<Property<'tcx>>