Function max_value_at

pub fn max_value_at(
    ty: impl Into<PrimType>,
    loc: impl Into<Location>,
) -> Result<Expr>

max_value at loc.