Function spec_is_overlapping

fn spec_is_overlapping(
    spec: &TypeSpec,
    var: &TypeVarID,
    type_state: &TypeState,
) -> Overlap