Function is_const_evaluatable 

pub fn is_const_evaluatable<'tcx>(
    tcx: TyCtxt<'tcx>,
    typeck: &'tcx TypeckResults<'tcx>,
    e: &'tcx Expr<'_>,
) -> bool

Checks if the given expression can be evaluated as a constant at the specified node