inline constraint matching