Function parse_const_param 

fn parse_const_param<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    expr: &Expr,
) -> Option<ContractExpr<'tcx>>