Function check 

pub fn check(
    value: &Value,
    constraint: Constraint<'_>,
    ctx: &mut ValidationContext,
)

Apply constraint to value, reporting at the current location.