Function expand_def 

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

Expand a named def against concrete argument expressions.