Use ArrayRef(WithPadding) in constraint code