Function expand_compound 

pub(crate) fn expand_compound<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    name: &str,
    exprs: &[Expr],
) -> Option<Vec<Property<'tcx>>>

Expand a named compound against concrete argument expressions.