Constraints on a type vs. its parameters
Is there any difference in constraint resolution between
struct foo:
x: int
keep(x < 3)
and
struct foo:
x: int with:
keep(it < 3)
Is there any difference in constraint resolution between
struct foo:
x: int
keep(x < 3)
and
struct foo:
x: int with:
keep(it < 3)