Function get_impls 

pub fn get_impls<'tcx>(
    tcx: TyCtxt<'tcx>,
    fn_did: DefId,
    args: GenericArgsRef<'tcx>,
) -> HashSet<DefId>