problem with {.borrow.}

[mungosyme]

Thanks mratsim, that makes sense. Without being picky, why does

type
    Temp* {.borrow: '>' .} = distinct int

work if > cannot be borrowed ? To be consistent that should also fail.